context: Chances are about even that Bernhard is gray. We doubt that Greg is a frog. It is impossible that Yann is bored.
hypothesis: It is impossible that bernhard is gray, and Yann is bored.
valid_hypothesis: It is impossible that bernhard is gray, and Yann is bored.
invalid_hypothesis: There is a better than even chance that bernhard is gray, and Yann is bored.
hypothesis_assertion: Bernhard is gray, and Yann is bored.