context: We doubt that Sumit is tired. It is probably the case that Mary moved to the office. It is certain that Yann is thirsty. Chances are about even that if Sumit is tired, and Mary moved to the office, then Sandra left the apple. It is almost certain that if either Sumit is tired, or Mary moved to the office, then John discarded the milk. It is certain that if Mary moved to the office, or Sumit is tired, then Bernhard is a frog.
hypothesis: It is certain that either John discarded the milk, or Mary moved to the office.
valid_hypothesis: It is probably not the case that either John discarded the milk, or Mary moved to the office.
invalid_hypothesis: It is certain that either John discarded the milk, or Mary moved to the office.
hypothesis_assertion: Either John discarded the milk, or Mary moved to the office.