context: It is probably the case that Brian is a rhino. It is probably the case that John went to the kitchen. It is impossible that Bernhard is green.
hypothesis: It is impossible that either John went to the kitchen, or Brian is a rhino.
valid_hypothesis: Chances are about even that either John went to the kitchen, or Brian is a rhino.
invalid_hypothesis: It is impossible that either John went to the kitchen, or Brian is a rhino.
hypothesis_assertion: Either John went to the kitchen, or Brian is a rhino.