context: It is highly likely that Greg is a lion. Chances are about even that Lily is a swan. Chances are about even that Brian is a rhino. We believe that if Lily is a swan, and Brian is a rhino, then Bernhard is a frog. It is unlikely that if either Brian is a rhino, or Greg is a lion, then Mary put down the milk. It is certain that if either Brian is a rhino, or Greg is a lion, then Jessica is a wolf.
hypothesis: It is certain that mary put down the milk, and Brian is a rhino.
valid_hypothesis: It is impossible that mary put down the milk, and Brian is a rhino.
invalid_hypothesis: It is certain that mary put down the milk, and Brian is a rhino.
hypothesis_assertion: Mary put down the milk, and Brian is a rhino.