context: It is almost certain that Gertrude is a mouse. Chances are about even that Bernhard is a swan. We believe that John is in the bathroom.
hypothesis: Chances are about even that either John is in the bathroom, or Bernhard is a swan.
valid_hypothesis: Chances are about even that either John is in the bathroom, or Bernhard is a swan.
invalid_hypothesis: It is impossible that either John is in the bathroom, or Bernhard is a swan.
hypothesis_assertion: Either John is in the bathroom, or Bernhard is a swan.