context: We doubt that Yann is thirsty. It is probable that Lily is gray. There is a better than even chance that Mary moved to the garden. It is probably not the case that if Mary moved to the garden, or Yann is thirsty, then John went to the garden. It is improbable that if Yann is thirsty, and Mary moved to the garden, then Brian is a lion. It is probably the case that if either Yann is thirsty, or Mary moved to the garden, then Bernhard is a swan.
hypothesis: It is impossible that either Brian is a lion, or Bernhard is a swan.
valid_hypothesis: Chances are about even that either Brian is a lion, or Bernhard is a swan.
invalid_hypothesis: It is impossible that either Brian is a lion, or Bernhard is a swan.
hypothesis_assertion: Either Brian is a lion, or Bernhard is a swan.