context: It is likely that Brian is a frog. It is probably not the case that Greg is a lion. It is certain that Bill went to the kitchen.
hypothesis: We doubt that bill went to the kitchen, or Brian is a frog.
valid_hypothesis: It is certain that bill went to the kitchen, or Brian is a frog.
invalid_hypothesis: We doubt that bill went to the kitchen, or Brian is a frog.
hypothesis_assertion: Bill went to the kitchen, or Brian is a frog.