context: It is probably the case that Gertrude is a wolf. We doubt that Brian is a frog. We believe that Winona is a mouse. It is probable that if Winona is a mouse, or Brian is a frog, then Lily is a rhino. It is unlikely that if Brian is a frog, and Gertrude is a wolf, then Greg is green. It is highly unlikely that if Brian is a frog, and Winona is a mouse, then Bernhard is a lion.
hypothesis: It is impossible that brian is a frog, and Bernhard is a lion.
valid_hypothesis: It is impossible that brian is a frog, and Bernhard is a lion.
invalid_hypothesis: It is probably the case that brian is a frog, and Bernhard is a lion.
hypothesis_assertion: Brian is a frog, and Bernhard is a lion.