context: It is certain that Mary moved to the garden. It is highly likely that John went to the kitchen. We believe that Greg is a rhino.
hypothesis: It is probably not the case that either Greg is a rhino, or John went to the kitchen.
valid_hypothesis: It is probably not the case that either Greg is a rhino, or John went to the kitchen.
invalid_hypothesis: It is almost certain that either Greg is a rhino, or John went to the kitchen.
hypothesis_assertion: Either Greg is a rhino, or John went to the kitchen.