context: It is impossible that John left the milk. It is probable that Brian is green. It is impossible that Greg is a frog. It is probable that if either Greg is a frog, or John left the milk, then Bernhard is white. There is a better than even chance that if John left the milk, and Greg is a frog, then Lily is a swan. There is almost no chance that if either Brian is green, or Greg is a frog, then Mary went to the garden.
hypothesis: It is certain that greg is a frog, or Bernhard is white.
valid_hypothesis: It is impossible that greg is a frog, or Bernhard is white.
invalid_hypothesis: It is certain that greg is a frog, or Bernhard is white.
hypothesis_assertion: Greg is a frog, or Bernhard is white.