context: It is probable that Greg is a rhino. It is certain that John took the football. We believe that Julius is a lion.
hypothesis: It is certain that greg is a rhino, or John took the football.
valid_hypothesis: It is certain that greg is a rhino, or John took the football.
invalid_hypothesis: It is impossible that greg is a rhino, or John took the football.
hypothesis_assertion: Greg is a rhino, or John took the football.