there is something such that if it is not a groundnut it is a soccer and it is endothermic.
sent1: something that is a rad is a mulloway that sneaks. sent2: something is a soccer that is endothermic if it is not a groundnut.
sent2 -> int1: the gable is both a soccer and endothermic if it is not a groundnut.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a groundnut it is a soccer and it is endothermic. ; $context$ = sent1: something that is a rad is a mulloway that sneaks. sent2: something is a soccer that is endothermic if it is not a groundnut. ; $proof$ = 
sent2 -> int1: the gable is both a soccer and endothermic if it is not a groundnut.; int1 -> hypothesis; __PROVED__