context: It is impossible that John went to the office. It is probably the case that Bill is in the school. Chances are slight that Brian is a lion.
hypothesis: It is improbable that either Brian is a lion, or Bill is in the school.
valid_hypothesis: It is probable that either Brian is a lion, or Bill is in the school.
invalid_hypothesis: It is improbable that either Brian is a lion, or Bill is in the school.
hypothesis_assertion: Either Brian is a lion, or Bill is in the school.