context: It is certain that John left the milk. It is probably the case that Bernhard is green. It is likely that Winona is a cat.
hypothesis: It is certain that either Winona is a cat, or John left the milk.
valid_hypothesis: It is probably not the case that either Winona is a cat, or John left the milk.
invalid_hypothesis: It is certain that either Winona is a cat, or John left the milk.
hypothesis_assertion: Either Winona is a cat, or John left the milk.