context: It is certain that Mary got the apple. It is probably the case that Bernhard is a rhino. It is certain that Jessica is a cat.
hypothesis: It is impossible that either Mary got the apple, or Jessica is a cat.
valid_hypothesis: It is impossible that either Mary got the apple, or Jessica is a cat.
invalid_hypothesis: It is certain that either Mary got the apple, or Jessica is a cat.
hypothesis_assertion: Either Mary got the apple, or Jessica is a cat.