context: It is highly likely that Greg is gray. It is improbable that John left the milk. It is almost certain that Brian is a swan. It is probably the case that if either Greg is gray, or John left the milk, then Bernhard is green. It is certain that if John left the milk, and Greg is gray, then Mary went to the office. It is highly likely that if Brian is a swan, and Greg is gray, then Lily is white.
hypothesis: Chances are about even that mary went to the office, and Bernhard is green.
valid_hypothesis: It is impossible that mary went to the office, and Bernhard is green.
invalid_hypothesis: Chances are about even that mary went to the office, and Bernhard is green.
hypothesis_assertion: Mary went to the office, and Bernhard is green.