context: It is impossible that Lily is a frog. It is impossible that Brian is a frog. It is probably the case that Greg is a swan. It is improbable that if Brian is a frog, and Greg is a swan, then Emily is a cat. It is probably the case that if Greg is a swan, and Lily is a frog, then Mary went to the garden. It is almost certain that if Brian is a frog, or Lily is a frog, then John moved to the office.
hypothesis: We believe that either Lily is a frog, or Brian is a frog.
valid_hypothesis: It is impossible that either Lily is a frog, or Brian is a frog.
invalid_hypothesis: We believe that either Lily is a frog, or Brian is a frog.
hypothesis_assertion: Either Lily is a frog, or Brian is a frog.