context: It is highly unlikely that Bernhard is a lion. It is certain that John went to the garden. It is highly unlikely that Winona is a cat. There is almost no chance that if John went to the garden, and Bernhard is a lion, then Brian is yellow. It is highly likely that if either Winona is a cat, or Bernhard is a lion, then Daniel dropped the milk. We doubt that if either Bernhard is a lion, or John went to the garden, then Greg is a swan.
hypothesis: It is certain that either John went to the garden, or Brian is yellow.
valid_hypothesis: It is certain that either John went to the garden, or Brian is yellow.
invalid_hypothesis: It is probably not the case that either John went to the garden, or Brian is yellow.
hypothesis_assertion: Either John went to the garden, or Brian is yellow.