context: It is certain that Mary moved to the garden. It is likely that Julius is a frog. It is certain that Bill put down the milk. We believe that if Julius is a frog, and Mary moved to the garden, then Lily is a swan. It is likely that if either Julius is a frog, or Mary moved to the garden, then Greg is green. Chances are slight that if either Mary moved to the garden, or Bill put down the milk, then John went to the office.
hypothesis: Chances are about even that greg is green, and Lily is a swan.
valid_hypothesis: It is impossible that greg is green, and Lily is a swan.
invalid_hypothesis: Chances are about even that greg is green, and Lily is a swan.
hypothesis_assertion: Greg is green, and Lily is a swan.