context: We doubt that John moved to the office. It is probable that Bernhard is a lion. It is impossible that Greg is green. There is almost no chance that if John moved to the office, or Greg is green, then Mary went to the garden. Chances are about even that if John moved to the office, or Bernhard is a lion, then Brian is a frog. There is almost no chance that if either Bernhard is a lion, or Greg is green, then Julius is gray.
hypothesis: It is likely that mary went to the garden, and Brian is a frog.
valid_hypothesis: It is impossible that mary went to the garden, and Brian is a frog.
invalid_hypothesis: It is likely that mary went to the garden, and Brian is a frog.
hypothesis_assertion: Mary went to the garden, and Brian is a frog.