context: It is highly unlikely that Bernhard is a rhino. Chances are about even that Greg is a frog. It is highly unlikely that Mary went to the kitchen.
hypothesis: It is impossible that either Mary went to the kitchen, or Greg is a frog.
valid_hypothesis: Chances are about even that either Mary went to the kitchen, or Greg is a frog.
invalid_hypothesis: It is impossible that either Mary went to the kitchen, or Greg is a frog.
hypothesis_assertion: Either Mary went to the kitchen, or Greg is a frog.