something is a whippersnapper that is not a kind of a highjacker.
sent1: the chloramine is not an adrenal and it does not overrun quilted if there is something such that it is not saponaceous. sent2: the pomfret is not tetravalent if the fact that the sackbut does nurse quarterdeck but it is not a Wassermann does not hold. sent3: there exists something such that it is not saponaceous. sent4: the chloramine is a kind of an adrenal if the devolution is dimorphic. sent5: if something that does nurse quarterdeck is not a kind of a Wassermann then the devolution is dimorphic. sent6: something is a whippersnapper and is not a highjacker if it is not tetravalent.
void -> assump1: Let's assume that the sackbut does nurse quarterdeck and is not a Wassermann.; assump1 -> int1: there is something such that it nurses quarterdeck and it is not a Wassermann.; int1 & sent5 -> int2: the fact that the devolution is dimorphic is not incorrect.; int2 & sent4 -> int3: that the chloramine is an adrenal is not wrong.; sent3 & sent1 -> int4: the chloramine is not an adrenal and does not overrun quilted.; int4 -> int5: the chloramine is not an adrenal.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the sackbut does nurse quarterdeck but it is not a Wassermann is not right.; int7 & sent2 -> int8: the pomfret is not tetravalent.; sent6 -> int9: the pomfret is a whippersnapper and is not a highjacker if it is not tetravalent.; int8 & int9 -> int10: the pomfret is a whippersnapper but not a highjacker.; int10 -> hypothesis;
$hypothesis$ = something is a whippersnapper that is not a kind of a highjacker. ; $context$ = sent1: the chloramine is not an adrenal and it does not overrun quilted if there is something such that it is not saponaceous. sent2: the pomfret is not tetravalent if the fact that the sackbut does nurse quarterdeck but it is not a Wassermann does not hold. sent3: there exists something such that it is not saponaceous. sent4: the chloramine is a kind of an adrenal if the devolution is dimorphic. sent5: if something that does nurse quarterdeck is not a kind of a Wassermann then the devolution is dimorphic. sent6: something is a whippersnapper and is not a highjacker if it is not tetravalent. ; $proof$ = 
void -> assump1: Let's assume that the sackbut does nurse quarterdeck and is not a Wassermann.; assump1 -> int1: there is something such that it nurses quarterdeck and it is not a Wassermann.; int1 & sent5 -> int2: the fact that the devolution is dimorphic is not incorrect.; int2 & sent4 -> int3: that the chloramine is an adrenal is not wrong.; sent3 & sent1 -> int4: the chloramine is not an adrenal and does not overrun quilted.; int4 -> int5: the chloramine is not an adrenal.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the sackbut does nurse quarterdeck but it is not a Wassermann is not right.; int7 & sent2 -> int8: the pomfret is not tetravalent.; sent6 -> int9: the pomfret is a whippersnapper and is not a highjacker if it is not tetravalent.; int8 & int9 -> int10: the pomfret is a whippersnapper but not a highjacker.; int10 -> hypothesis; __PROVED__