context: It is certain that Mary is in the garden. It is certain that Greg is a lion. It is probably the case that Gertrude is a cat.
hypothesis: It is highly unlikely that gertrude is a cat, or Mary is in the garden.
valid_hypothesis: It is certain that gertrude is a cat, or Mary is in the garden.
invalid_hypothesis: It is highly unlikely that gertrude is a cat, or Mary is in the garden.
hypothesis_assertion: Gertrude is a cat, or Mary is in the garden.