context: It is impossible that Fred went to the bedroom. It is impossible that Brian is a frog. It is improbable that Greg is gray. There is little chance that if Brian is a frog, and Fred went to the bedroom, then John picked up the milk. It is highly unlikely that if either Brian is a frog, or Greg is gray, then Lily is a rhino. We believe that if Greg is gray, or Brian is a frog, then Mary moved to the garden.
hypothesis: We believe that lily is a rhino, and Brian is a frog.
valid_hypothesis: It is impossible that lily is a rhino, and Brian is a frog.
invalid_hypothesis: We believe that lily is a rhino, and Brian is a frog.
hypothesis_assertion: Lily is a rhino, and Brian is a frog.