context: We believe that Julius is yellow. We believe that Brian is a lion. It is highly unlikely that John picked up the milk. It is probably the case that if Julius is yellow, and John picked up the milk, then Jeff went to the kitchen. It is highly likely that if Julius is yellow, and John picked up the milk, then Bernhard is a rhino. It is highly unlikely that if either Brian is a lion, or John picked up the milk, then Mary moved to the garden.
hypothesis: Chances are about even that mary moved to the garden, and Jeff went to the kitchen.
valid_hypothesis: It is impossible that mary moved to the garden, and Jeff went to the kitchen.
invalid_hypothesis: Chances are about even that mary moved to the garden, and Jeff went to the kitchen.
hypothesis_assertion: Mary moved to the garden, and Jeff went to the kitchen.