context: It is improbable that Greg is white. We believe that Lily is a lion. It is improbable that Winona is a mouse. We doubt that if Lily is a lion, and Winona is a mouse, then Bernhard is green. There is little chance that if Lily is a lion, and Greg is white, then Jeff moved to the office. It is impossible that if Lily is a lion, or Winona is a mouse, then Brian is a frog.
hypothesis: Chances are about even that either Brian is a frog, or Jeff moved to the office.
valid_hypothesis: It is impossible that either Brian is a frog, or Jeff moved to the office.
invalid_hypothesis: Chances are about even that either Brian is a frog, or Jeff moved to the office.
hypothesis_assertion: Either Brian is a frog, or Jeff moved to the office.