context: There is almost no chance that Mary went to the kitchen. It is certain that Greg is a lion. There is almost no chance that Winona is a wolf. It is certain that if Greg is a lion, and Winona is a wolf, then Gertrude is a mouse. It is probably not the case that if Winona is a wolf, and Greg is a lion, then Bernhard is yellow. We believe that if Greg is a lion, and Mary went to the kitchen, then John left the apple.
hypothesis: Chances are about even that either Greg is a lion, or Gertrude is a mouse.
valid_hypothesis: It is certain that either Greg is a lion, or Gertrude is a mouse.
invalid_hypothesis: Chances are about even that either Greg is a lion, or Gertrude is a mouse.
hypothesis_assertion: Either Greg is a lion, or Gertrude is a mouse.