context: Chances are slight that Greg is green. It is almost certain that Bernhard is white. It is improbable that Mary moved to the office. It is impossible that if Mary moved to the office, or Greg is green, then Jessica is a mouse. It is almost certain that if either Mary moved to the office, or Bernhard is white, then John went to the hallway. It is certain that if Mary moved to the office, and Bernhard is white, then Brian is a lion.
hypothesis: It is probable that either Mary moved to the office, or Brian is a lion.
valid_hypothesis: It is impossible that either Mary moved to the office, or Brian is a lion.
invalid_hypothesis: It is probable that either Mary moved to the office, or Brian is a lion.
hypothesis_assertion: Either Mary moved to the office, or Brian is a lion.