context: We doubt that Greg is a lion. We believe that John moved to the garden. It is probably not the case that Jeff went to the office.
hypothesis: It is impossible that greg is a lion, or Jeff went to the office.
valid_hypothesis: Chances are about even that greg is a lion, or Jeff went to the office.
invalid_hypothesis: It is impossible that greg is a lion, or Jeff went to the office.
hypothesis_assertion: Greg is a lion, or Jeff went to the office.