context: It is impossible that John went to the hallway. We doubt that Bernhard is a rhino. It is probably not the case that Greg is a frog.
hypothesis: There is a very good chance that either Greg is a frog, or John went to the hallway.
valid_hypothesis: It is probably not the case that either Greg is a frog, or John went to the hallway.
invalid_hypothesis: There is a very good chance that either Greg is a frog, or John went to the hallway.
hypothesis_assertion: Either Greg is a frog, or John went to the hallway.