context: It is highly unlikely that Lily is gray. There is little chance that John went to the office. It is impossible that Winona is a mouse. It is highly likely that if either John went to the office, or Lily is gray, then Brian is green. Chances are slight that if John went to the office, or Winona is a mouse, then Greg is a swan. There is a better than even chance that if Winona is a mouse, and John went to the office, then Julius is a frog.
hypothesis: It is impossible that greg is a swan, and Brian is green.
valid_hypothesis: It is impossible that greg is a swan, and Brian is green.
invalid_hypothesis: Chances are about even that greg is a swan, and Brian is green.
hypothesis_assertion: Greg is a swan, and Brian is green.