the fact that the slammer is not a welt but it is a quackgrass is false.
sent1: if the slammer deafens lithography the fact that it is a kind of a welt that is a kind of a quackgrass is not correct. sent2: if the slammer is not non-commons then the rollerblader is unethical. sent3: that something is a kind of Nigerian thing that does not deafen uncertainty is not correct if that it is not unethical is true. sent4: if the fact that the wreckage does beaver and it is Cornish is not right then that the rollerblader does not deafen lithography hold. sent5: if that something does deafen lithography is not false then the fact that the fact that it is a welt and it is a quackgrass is true is false. sent6: the slammer is commons if the fact that the fact that it reads Gould and it does not unscrew decathlon hold is incorrect. sent7: if the fact that the slammer does read Gould and does unscrew decathlon is not wrong then it does deafen lithography. sent8: the fact that the slammer does read Gould and unscrews decathlon is not true. sent9: if the slammer does unscrew decathlon that it is commons is not incorrect. sent10: that the slammer is a welt and it is a kind of a quackgrass does not hold. sent11: the rollerblader is not unethical. sent12: the fact that something is not a kind of a welt and is a kind of a quackgrass does not hold if it does deafen lithography. sent13: if the slammer reads Gould but it does not unscrew decathlon then it does deafen lithography. sent14: something is not a welt and is a kind of a quackgrass if that it is not unethical is true. sent15: the slammer does not unscrew decathlon.
void -> assump1: Let's assume that that the slammer reads Gould but it does not unscrew decathlon is not true.; sent6 & assump1 -> int1: the fact that the slammer is commons is not false.; int1 & sent2 -> int2: that the rollerblader is unethical is not false.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the slammer does read Gould and does not unscrew decathlon is right.; int4 & sent13 -> int5: the slammer deafens lithography.; sent12 -> int6: if that the slammer does deafen lithography is not wrong then that it is not a welt and is a quackgrass does not hold.; int5 & int6 -> hypothesis;
that the slammer is a kind of Nigerian thing that does not deafen uncertainty is false.
sent3 -> int7: the fact that the slammer is Nigerian but it does not deafen uncertainty is false if it is not unethical.;
$hypothesis$ = the fact that the slammer is not a welt but it is a quackgrass is false. ; $context$ = sent1: if the slammer deafens lithography the fact that it is a kind of a welt that is a kind of a quackgrass is not correct. sent2: if the slammer is not non-commons then the rollerblader is unethical. sent3: that something is a kind of Nigerian thing that does not deafen uncertainty is not correct if that it is not unethical is true. sent4: if the fact that the wreckage does beaver and it is Cornish is not right then that the rollerblader does not deafen lithography hold. sent5: if that something does deafen lithography is not false then the fact that the fact that it is a welt and it is a quackgrass is true is false. sent6: the slammer is commons if the fact that the fact that it reads Gould and it does not unscrew decathlon hold is incorrect. sent7: if the fact that the slammer does read Gould and does unscrew decathlon is not wrong then it does deafen lithography. sent8: the fact that the slammer does read Gould and unscrews decathlon is not true. sent9: if the slammer does unscrew decathlon that it is commons is not incorrect. sent10: that the slammer is a welt and it is a kind of a quackgrass does not hold. sent11: the rollerblader is not unethical. sent12: the fact that something is not a kind of a welt and is a kind of a quackgrass does not hold if it does deafen lithography. sent13: if the slammer reads Gould but it does not unscrew decathlon then it does deafen lithography. sent14: something is not a welt and is a kind of a quackgrass if that it is not unethical is true. sent15: the slammer does not unscrew decathlon. ; $proof$ = 
void -> assump1: Let's assume that that the slammer reads Gould but it does not unscrew decathlon is not true.; sent6 & assump1 -> int1: the fact that the slammer is commons is not false.; int1 & sent2 -> int2: that the rollerblader is unethical is not false.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the slammer does read Gould and does not unscrew decathlon is right.; int4 & sent13 -> int5: the slammer deafens lithography.; sent12 -> int6: if that the slammer does deafen lithography is not wrong then that it is not a welt and is a quackgrass does not hold.; int5 & int6 -> hypothesis; __PROVED__