context: There is a better than even chance that John picked up the milk. We believe that Gertrude is a mouse. It is likely that Julius is gray. It is unlikely that if John picked up the milk, and Julius is gray, then Mary moved to the garden. It is likely that if either John picked up the milk, or Julius is gray, then Lily is yellow. It is improbable that if either Julius is gray, or John picked up the milk, then Bernhard is a frog.
hypothesis: Chances are about even that mary moved to the garden, and Bernhard is a frog.
valid_hypothesis: It is impossible that mary moved to the garden, and Bernhard is a frog.
invalid_hypothesis: Chances are about even that mary moved to the garden, and Bernhard is a frog.
hypothesis_assertion: Mary moved to the garden, and Bernhard is a frog.