context: We believe that Mary is in the park. It is impossible that Lily is green. It is probable that Sandra took the milk. It is probable that if Lily is green, and Mary is in the park, then Greg is a lion. We believe that if Lily is green, or Mary is in the park, then Bernhard is a frog. Chances are slight that if either Sandra took the milk, or Mary is in the park, then John went to the bedroom.
hypothesis: It is highly unlikely that bernhard is a frog, or Greg is a lion.
valid_hypothesis: There is a better than even chance that bernhard is a frog, or Greg is a lion.
invalid_hypothesis: It is highly unlikely that bernhard is a frog, or Greg is a lion.
hypothesis_assertion: Bernhard is a frog, or Greg is a lion.