context: It is impossible that Brian is a lion. It is highly unlikely that John left the apple. It is impossible that Mary is in the park. There is a very good chance that if either Brian is a lion, or Mary is in the park, then Greg is green. It is impossible that if either Brian is a lion, or Mary is in the park, then Julius is a rhino. It is highly unlikely that if John left the apple, or Mary is in the park, then Lily is white.
hypothesis: It is impossible that john left the apple, and Julius is a rhino.
valid_hypothesis: It is impossible that john left the apple, and Julius is a rhino.
invalid_hypothesis: There is a better than even chance that john left the apple, and Julius is a rhino.
hypothesis_assertion: John left the apple, and Julius is a rhino.