context: It is impossible that Winona is a mouse. It is probably not the case that Greg is green. It is certain that Mary put down the milk. We believe that if either Greg is green, or Winona is a mouse, then John moved to the office. It is highly unlikely that if Greg is green, or Mary put down the milk, then Lily is white. There is little chance that if Winona is a mouse, or Mary put down the milk, then Brian is gray.
hypothesis: It is certain that mary put down the milk, or Greg is green.
valid_hypothesis: It is certain that mary put down the milk, or Greg is green.
invalid_hypothesis: It is probably not the case that mary put down the milk, or Greg is green.
hypothesis_assertion: Mary put down the milk, or Greg is green.