context: Chances are slight that John went to the kitchen. It is impossible that Bernhard is a frog. It is highly unlikely that Greg is green. We doubt that if Bernhard is a frog, and John went to the kitchen, then Mary got the football. It is highly likely that if Greg is green, and Bernhard is a frog, then Brian is a rhino. It is impossible that if John went to the kitchen, or Bernhard is a frog, then Bill put down the milk.
hypothesis: It is impossible that brian is a rhino, or Bill put down the milk.
valid_hypothesis: It is impossible that brian is a rhino, or Bill put down the milk.
invalid_hypothesis: It is likely that brian is a rhino, or Bill put down the milk.
hypothesis_assertion: Brian is a rhino, or Bill put down the milk.