context: It is impossible that Antoine is hungry. It is probably the case that Greg is a lion. Chances are slight that Brian is a rhino.
hypothesis: It is highly unlikely that brian is a rhino, and Greg is a lion.
valid_hypothesis: It is highly unlikely that brian is a rhino, and Greg is a lion.
invalid_hypothesis: Chances are about even that brian is a rhino, and Greg is a lion.
hypothesis_assertion: Brian is a rhino, and Greg is a lion.