context: It is likely that Bernhard is a frog. It is probably the case that John went to the bedroom. We believe that Lily is a frog.
hypothesis: It is impossible that john went to the bedroom, or Lily is a frog.
valid_hypothesis: It is almost certain that john went to the bedroom, or Lily is a frog.
invalid_hypothesis: It is impossible that john went to the bedroom, or Lily is a frog.
hypothesis_assertion: John went to the bedroom, or Lily is a frog.