context: It is impossible that Mary is in the kitchen. We believe that John went to the office. We believe that Brian is a rhino.
hypothesis: It is probably the case that either Brian is a rhino, or John went to the office.
valid_hypothesis: It is probably not the case that either Brian is a rhino, or John went to the office.
invalid_hypothesis: It is probably the case that either Brian is a rhino, or John went to the office.
hypothesis_assertion: Either Brian is a rhino, or John went to the office.