context: It is likely that Bill went to the hallway. There is little chance that Lily is a lion. It is improbable that Greg is a swan. It is probably not the case that if Greg is a swan, and Bill went to the hallway, then Sandra left the milk. It is probable that if Lily is a lion, and Greg is a swan, then John is in the bedroom. We believe that if Bill went to the hallway, or Greg is a swan, then Mary got the football.
hypothesis: It is impossible that john is in the bedroom, and Mary got the football.
valid_hypothesis: It is impossible that john is in the bedroom, and Mary got the football.
invalid_hypothesis: It is probably the case that john is in the bedroom, and Mary got the football.
hypothesis_assertion: John is in the bedroom, and Mary got the football.