context: It is impossible that Bernhard is a lion. We doubt that Greg is a swan. Chances are about even that Brian is a rhino. It is unlikely that if either Greg is a swan, or Bernhard is a lion, then Julius is gray. We believe that if either Greg is a swan, or Bernhard is a lion, then Mary dropped the apple. There is a better than even chance that if either Greg is a swan, or Brian is a rhino, then John went to the garden.
hypothesis: It is almost certain that john went to the garden, and Bernhard is a lion.
valid_hypothesis: It is impossible that john went to the garden, and Bernhard is a lion.
invalid_hypothesis: It is almost certain that john went to the garden, and Bernhard is a lion.
hypothesis_assertion: John went to the garden, and Bernhard is a lion.