context: It is certain that Greg is a frog. It is probably the case that Brian is a swan. We believe that Lily is white. It is probably the case that if Brian is a swan, or Lily is white, then Mary went to the bedroom. It is certain that if Greg is a frog, and Lily is white, then Winona is a cat. It is unlikely that if Brian is a swan, or Greg is a frog, then John left the milk.
hypothesis: It is certain that mary went to the bedroom, and John left the milk.
valid_hypothesis: There is little chance that mary went to the bedroom, and John left the milk.
invalid_hypothesis: It is certain that mary went to the bedroom, and John left the milk.
hypothesis_assertion: Mary went to the bedroom, and John left the milk.