context: It is probably not the case that Greg is a rhino. It is impossible that Gertrude is a mouse. It is highly unlikely that Fred is in the office. Chances are slight that if either Greg is a rhino, or Gertrude is a mouse, then Brian is a lion. It is certain that if either Greg is a rhino, or Fred is in the office, then Mary went to the kitchen. It is certain that if Greg is a rhino, or Fred is in the office, then Lily is white.
hypothesis: It is certain that either Mary went to the kitchen, or Brian is a lion.
valid_hypothesis: It is probably not the case that either Mary went to the kitchen, or Brian is a lion.
invalid_hypothesis: It is certain that either Mary went to the kitchen, or Brian is a lion.
hypothesis_assertion: Either Mary went to the kitchen, or Brian is a lion.