context: Chances are about even that Greg is a rhino. It is certain that Julius is gray. It is certain that Jessica is a sheep.
hypothesis: It is impossible that greg is a rhino, and Julius is gray.
valid_hypothesis: Chances are about even that greg is a rhino, and Julius is gray.
invalid_hypothesis: It is impossible that greg is a rhino, and Julius is gray.
hypothesis_assertion: Greg is a rhino, and Julius is gray.