the hardliner does not shop payback if the holdover is not an immunization.
sent1: the fact that the kameez is not explicable but it is not ateleiotic is not right. sent2: that the hardliner shops payback and does not tumble is not true. sent3: the hardliner does shop payback. sent4: the hardliner is not artless. sent5: the hardliner does not shop payback if the holdover is ateleiotic. sent6: if the holdover is not a kind of an immunization then the fact that it is not a tumble and it is not ateleiotic is not true. sent7: the fact that the Serbian does not shop payback and does shop holdover is not correct. sent8: if the holdover is not a kind of an immunization then that it is not a kind of a tumble and it is ateleiotic is wrong. sent9: that the holdover is not a tumble but ateleiotic does not hold. sent10: the hardliner is not ateleiotic if the holdover does not shop payback. sent11: the fact that the hardliner is ateleiotic and is not non-invertible does not hold. sent12: if that the holdover does not tumble and is not ateleiotic is false the hardliner does not shop payback. sent13: that the hardliner is not ateleiotic and it is not a Morton is not true. sent14: the hardliner tumbles if the fact that the holdover does not shop payback is true. sent15: the fact that the hardliner is not ateleiotic hold if the fact that that the holdover is not a tumble and does not shop payback is not correct is not false. sent16: if the fact that the holdover is not a tumble and not ateleiotic is incorrect the hardliner shops payback.
void -> assump1: Let's assume that that the holdover is not a kind of an immunization is right.; sent6 & assump1 -> int1: that the fact that the holdover is not a tumble and it is not ateleiotic is not true is not false.; sent12 & int1 -> int2: the hardliner does not shop payback.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the hardliner does not shop payback if the holdover is not an immunization. ; $context$ = sent1: the fact that the kameez is not explicable but it is not ateleiotic is not right. sent2: that the hardliner shops payback and does not tumble is not true. sent3: the hardliner does shop payback. sent4: the hardliner is not artless. sent5: the hardliner does not shop payback if the holdover is ateleiotic. sent6: if the holdover is not a kind of an immunization then the fact that it is not a tumble and it is not ateleiotic is not true. sent7: the fact that the Serbian does not shop payback and does shop holdover is not correct. sent8: if the holdover is not a kind of an immunization then that it is not a kind of a tumble and it is ateleiotic is wrong. sent9: that the holdover is not a tumble but ateleiotic does not hold. sent10: the hardliner is not ateleiotic if the holdover does not shop payback. sent11: the fact that the hardliner is ateleiotic and is not non-invertible does not hold. sent12: if that the holdover does not tumble and is not ateleiotic is false the hardliner does not shop payback. sent13: that the hardliner is not ateleiotic and it is not a Morton is not true. sent14: the hardliner tumbles if the fact that the holdover does not shop payback is true. sent15: the fact that the hardliner is not ateleiotic hold if the fact that that the holdover is not a tumble and does not shop payback is not correct is not false. sent16: if the fact that the holdover is not a tumble and not ateleiotic is incorrect the hardliner shops payback. ; $proof$ = 
void -> assump1: Let's assume that that the holdover is not a kind of an immunization is right.; sent6 & assump1 -> int1: that the fact that the holdover is not a tumble and it is not ateleiotic is not true is not false.; sent12 & int1 -> int2: the hardliner does not shop payback.; [assump1] & int2 -> hypothesis; __PROVED__