context: We believe that Julius is a frog. It is highly likely that John went to the office. There is almost no chance that Greg is a swan. We believe that if John went to the office, and Greg is a swan, then Bernhard is a lion. It is certain that if John went to the office, or Greg is a swan, then Mary is in the bedroom. It is improbable that if either John went to the office, or Julius is a frog, then Lily is a lion.
hypothesis: It is highly likely that either John went to the office, or Mary is in the bedroom.
valid_hypothesis: It is impossible that either John went to the office, or Mary is in the bedroom.
invalid_hypothesis: It is highly likely that either John went to the office, or Mary is in the bedroom.
hypothesis_assertion: Either John went to the office, or Mary is in the bedroom.