context: We believe that Gertrude is a mouse. Chances are slight that John went to the office. It is likely that Brian is green. There is almost no chance that if John went to the office, and Gertrude is a mouse, then Mary moved to the garden. It is impossible that if Brian is green, and Gertrude is a mouse, then Lily is white. It is improbable that if Gertrude is a mouse, or Brian is green, then Sandra left the milk.
hypothesis: It is probable that mary moved to the garden, and Sandra left the milk.
valid_hypothesis: It is impossible that mary moved to the garden, and Sandra left the milk.
invalid_hypothesis: It is probable that mary moved to the garden, and Sandra left the milk.
hypothesis_assertion: Mary moved to the garden, and Sandra left the milk.