context: It is impossible that Mary moved to the office. It is certain that Yann is tired. It is improbable that John went to the garden. Chances are about even that if either Mary moved to the office, or Yann is tired, then Emily is a cat. It is almost certain that if Yann is tired, and John went to the garden, then Greg is a lion. It is almost certain that if either John went to the garden, or Mary moved to the office, then Winona is a mouse.
hypothesis: There is almost no chance that john went to the garden, or Yann is tired.
valid_hypothesis: It is certain that john went to the garden, or Yann is tired.
invalid_hypothesis: There is almost no chance that john went to the garden, or Yann is tired.
hypothesis_assertion: John went to the garden, or Yann is tired.