context: Chances are about even that Bernhard is green. We believe that Mary left the football. It is probably the case that Greg is green.
hypothesis: It is certain that greg is green, and Bernhard is green.
valid_hypothesis: It is probably not the case that greg is green, and Bernhard is green.
invalid_hypothesis: It is certain that greg is green, and Bernhard is green.
hypothesis_assertion: Greg is green, and Bernhard is green.