context: It is almost certain that Greg is a lion. It is almost certain that Mary dropped the milk. It is unlikely that Sumit is bored. Chances are about even that if Greg is a lion, and Mary dropped the milk, then Yann is thirsty. Chances are slight that if Mary dropped the milk, and Sumit is bored, then Julius is green. We doubt that if Greg is a lion, or Sumit is bored, then John left the milk.
hypothesis: It is impossible that john left the milk, and Julius is green.
valid_hypothesis: It is impossible that john left the milk, and Julius is green.
invalid_hypothesis: It is probable that john left the milk, and Julius is green.
hypothesis_assertion: John left the milk, and Julius is green.