context: It is unlikely that Bernhard is a frog. It is highly likely that Winona is a mouse. We believe that Sandra took the milk. There is little chance that if Sandra took the milk, and Bernhard is a frog, then Greg is a lion. It is highly likely that if Winona is a mouse, and Bernhard is a frog, then John went to the garden. It is almost certain that if Winona is a mouse, or Sandra took the milk, then Daniel got the apple.
hypothesis: Chances are about even that greg is a lion, and Winona is a mouse.
valid_hypothesis: There is almost no chance that greg is a lion, and Winona is a mouse.
invalid_hypothesis: Chances are about even that greg is a lion, and Winona is a mouse.
hypothesis_assertion: Greg is a lion, and Winona is a mouse.