context: There is little chance that Greg is a lion. There is little chance that John left the milk. We believe that Fred went to the kitchen. It is almost certain that if either John left the milk, or Greg is a lion, then Brian is a frog. It is likely that if either John left the milk, or Fred went to the kitchen, then Bernhard is green. We believe that if either Fred went to the kitchen, or Greg is a lion, then Julius is a swan.
hypothesis: We doubt that john left the milk, or Brian is a frog.
valid_hypothesis: We doubt that john left the milk, or Brian is a frog.
invalid_hypothesis: We believe that john left the milk, or Brian is a frog.
hypothesis_assertion: John left the milk, or Brian is a frog.