the rambler is non-off.
sent1: the pus is not a kind of a polypectomy if the desquamation is non-parotid. sent2: the fixative is unsocial if it is both a stickleback and a polypectomy. sent3: if that either something is unsocial or it is a kind of a gallantry or both does not hold it is not parotid. sent4: if the pus is parotid the fixative is not a kind of a gallantry. sent5: everything is not unsocial and it is a stickleback. sent6: if something is not unsocial but it is a stickleback then it is a gallantry. sent7: if that the megakaryocyte does not eliminate desquamation but it is clad is wrong then the pus is parotid. sent8: if the desquamation is not a polypectomy then the rambler is off thing that is a kind of a polypectomy. sent9: if the desquamation is a kind of a polypectomy the fact that the megakaryocyte does not eliminate desquamation and is clad is wrong.
void -> assump1: Let's assume that the desquamation is a kind of a polypectomy.; sent9 & assump1 -> int1: that the fact that the megakaryocyte does not eliminate desquamation but it is clad is not correct is right.; int1 & sent7 -> int2: the pus is parotid.; int2 & sent4 -> int3: the fact that the fixative is not a gallantry is not incorrect.; sent6 -> int4: if that the fixative is not unsocial but it is a stickleback hold then it is a gallantry.; sent5 -> int5: the fixative is not unsocial but it is a kind of a stickleback.; int4 & int5 -> int6: the fixative is a gallantry.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the desquamation is not a polypectomy is right.; int8 & sent8 -> int9: the rambler is off and it is a polypectomy.; int9 -> hypothesis;
the pus is not a polypectomy.
sent3 -> int10: the desquamation is not parotid if that it is unsocial and/or is a gallantry does not hold.;
$hypothesis$ = the rambler is non-off. ; $context$ = sent1: the pus is not a kind of a polypectomy if the desquamation is non-parotid. sent2: the fixative is unsocial if it is both a stickleback and a polypectomy. sent3: if that either something is unsocial or it is a kind of a gallantry or both does not hold it is not parotid. sent4: if the pus is parotid the fixative is not a kind of a gallantry. sent5: everything is not unsocial and it is a stickleback. sent6: if something is not unsocial but it is a stickleback then it is a gallantry. sent7: if that the megakaryocyte does not eliminate desquamation but it is clad is wrong then the pus is parotid. sent8: if the desquamation is not a polypectomy then the rambler is off thing that is a kind of a polypectomy. sent9: if the desquamation is a kind of a polypectomy the fact that the megakaryocyte does not eliminate desquamation and is clad is wrong. ; $proof$ = 
void -> assump1: Let's assume that the desquamation is a kind of a polypectomy.; sent9 & assump1 -> int1: that the fact that the megakaryocyte does not eliminate desquamation but it is clad is not correct is right.; int1 & sent7 -> int2: the pus is parotid.; int2 & sent4 -> int3: the fact that the fixative is not a gallantry is not incorrect.; sent6 -> int4: if that the fixative is not unsocial but it is a stickleback hold then it is a gallantry.; sent5 -> int5: the fixative is not unsocial but it is a kind of a stickleback.; int4 & int5 -> int6: the fixative is a gallantry.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: that the desquamation is not a polypectomy is right.; int8 & sent8 -> int9: the rambler is off and it is a polypectomy.; int9 -> hypothesis; __DISPROVED__