context: It is impossible that Mary went to the hallway. It is impossible that Greg is a lion. It is highly likely that Brian is a lion. It is unlikely that if Mary went to the hallway, or Greg is a lion, then John moved to the office. We believe that if Mary went to the hallway, or Greg is a lion, then Julius is a swan. It is highly likely that if either Brian is a lion, or Mary went to the hallway, then Bernhard is a rhino.
hypothesis: It is impossible that john moved to the office, and Brian is a lion.
valid_hypothesis: It is impossible that john moved to the office, and Brian is a lion.
invalid_hypothesis: We believe that john moved to the office, and Brian is a lion.
hypothesis_assertion: John moved to the office, and Brian is a lion.