the transom is not neolithic and/or it is not a kind of a geometrid.
sent1: if that the MAO is a sucralfate is right the paperhanger is pneumatics. sent2: if the linendraper is a kind of a sucralfate the stamp is a speck. sent3: the paperhanger is not unexportable. sent4: if the MAO is unpredictable then the linendraper is a sucralfate. sent5: the chlorofucin is a geometrid if the stamp is a speck. sent6: there exists something such that it is a speck. sent7: an exportable thing that shadows is not a kind of a self-preservation. sent8: the paperhanger is not unexportable but it is a shadow if it is non-pneumatics. sent9: if that the MAO is predictable thing that is not a self-preservation is wrong the linendraper is a sucralfate. sent10: the transom is pneumatics if the paperhanger is not a sucralfate and is pneumatics. sent11: the paperhanger is not pneumatics. sent12: if the paperhanger is not a kind of a self-preservation the fact that the MAO is predictable but not a self-preservation is not right. sent13: the mordant is not a self-preservation. sent14: if the chlorofucin is a kind of a geometrid either the transom is not neolithic or it is not a kind of a geometrid or both. sent15: if something is pneumatics that it is not neolithic and/or it is not a geometrid is not true.
sent8 & sent11 -> int1: the paperhanger is not unexportable but it is a kind of a shadow.; sent7 -> int2: the paperhanger is not a self-preservation if it is non-unexportable a shadow.; int1 & int2 -> int3: the paperhanger is not a self-preservation.; int3 & sent12 -> int4: that the MAO is a kind of non-unpredictable thing that is not a kind of a self-preservation does not hold.; int4 & sent9 -> int5: the linendraper is a sucralfate.; int5 & sent2 -> int6: the stamp specks.; int6 & sent5 -> int7: the chlorofucin is a geometrid.; int7 & sent14 -> hypothesis;
the fact that either the transom is not neolithic or it is not a geometrid or both does not hold.
sent15 -> int8: if the fact that the transom is pneumatics hold that either it is not neolithic or it is not a geometrid or both is incorrect.;
$hypothesis$ = the transom is not neolithic and/or it is not a kind of a geometrid. ; $context$ = sent1: if that the MAO is a sucralfate is right the paperhanger is pneumatics. sent2: if the linendraper is a kind of a sucralfate the stamp is a speck. sent3: the paperhanger is not unexportable. sent4: if the MAO is unpredictable then the linendraper is a sucralfate. sent5: the chlorofucin is a geometrid if the stamp is a speck. sent6: there exists something such that it is a speck. sent7: an exportable thing that shadows is not a kind of a self-preservation. sent8: the paperhanger is not unexportable but it is a shadow if it is non-pneumatics. sent9: if that the MAO is predictable thing that is not a self-preservation is wrong the linendraper is a sucralfate. sent10: the transom is pneumatics if the paperhanger is not a sucralfate and is pneumatics. sent11: the paperhanger is not pneumatics. sent12: if the paperhanger is not a kind of a self-preservation the fact that the MAO is predictable but not a self-preservation is not right. sent13: the mordant is not a self-preservation. sent14: if the chlorofucin is a kind of a geometrid either the transom is not neolithic or it is not a kind of a geometrid or both. sent15: if something is pneumatics that it is not neolithic and/or it is not a geometrid is not true. ; $proof$ = 
sent8 & sent11 -> int1: the paperhanger is not unexportable but it is a kind of a shadow.; sent7 -> int2: the paperhanger is not a self-preservation if it is non-unexportable a shadow.; int1 & int2 -> int3: the paperhanger is not a self-preservation.; int3 & sent12 -> int4: that the MAO is a kind of non-unpredictable thing that is not a kind of a self-preservation does not hold.; int4 & sent9 -> int5: the linendraper is a sucralfate.; int5 & sent2 -> int6: the stamp specks.; int6 & sent5 -> int7: the chlorofucin is a geometrid.; int7 & sent14 -> hypothesis; __PROVED__