context: It is impossible that Fred is in the cinema. We believe that Brian is a rhino. It is improbable that Bernhard is a lion.
hypothesis: It is probable that either Brian is a rhino, or Bernhard is a lion.
valid_hypothesis: It is probable that either Brian is a rhino, or Bernhard is a lion.
invalid_hypothesis: It is unlikely that either Brian is a rhino, or Bernhard is a lion.
hypothesis_assertion: Either Brian is a rhino, or Bernhard is a lion.