context: It is probably not the case that Brian is a swan. There is a better than even chance that Bernhard is green. There is a very good chance that Lily is a lion. It is almost certain that if Bernhard is green, and Brian is a swan, then John left the football. It is probably not the case that if Lily is a lion, or Bernhard is green, then Mary went to the bedroom. It is probably not the case that if either Lily is a lion, or Bernhard is green, then Winona is a wolf.
hypothesis: It is certain that mary went to the bedroom, or John left the football.
valid_hypothesis: It is probably not the case that mary went to the bedroom, or John left the football.
invalid_hypothesis: It is certain that mary went to the bedroom, or John left the football.
hypothesis_assertion: Mary went to the bedroom, or John left the football.