there exists something such that if it is not centigrade and it is a glop it is pressor.
sent1: there is something such that if it is centigrade and is a glop it is pressor. sent2: there exists something such that if it is not a Pavo and does mass-produce toolbox then it is incorrigible. sent3: if the siloxane is determinable and slenderizes then it is centigrade. sent4: if the toolbox is a kind of centigrade thing that is a glop it is pressor. sent5: if a centigrade thing is a glop it is pressor. sent6: the fact that the interoceptor is centigrade hold if it does not mass-produce Darfur and is productive. sent7: if something that is not centigrade is a glop then it is pressor.
sent7 -> int1: if that the toolbox is non-centigrade thing that is a glop is true it is pressor.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not centigrade and it is a glop it is pressor. ; $context$ = sent1: there is something such that if it is centigrade and is a glop it is pressor. sent2: there exists something such that if it is not a Pavo and does mass-produce toolbox then it is incorrigible. sent3: if the siloxane is determinable and slenderizes then it is centigrade. sent4: if the toolbox is a kind of centigrade thing that is a glop it is pressor. sent5: if a centigrade thing is a glop it is pressor. sent6: the fact that the interoceptor is centigrade hold if it does not mass-produce Darfur and is productive. sent7: if something that is not centigrade is a glop then it is pressor. ; $proof$ = 
sent7 -> int1: if that the toolbox is non-centigrade thing that is a glop is true it is pressor.; int1 -> hypothesis; __PROVED__