context: It is impossible that Greg is a lion. It is probably not the case that John went to the office. There is a better than even chance that Lily is a frog.
hypothesis: It is likely that lily is a frog, and John went to the office.
valid_hypothesis: There is little chance that lily is a frog, and John went to the office.
invalid_hypothesis: It is likely that lily is a frog, and John went to the office.
hypothesis_assertion: Lily is a frog, and John went to the office.