that the pontifical does not exclaim preposition and is not a mangle is not right.
sent1: if something does pin allele the fact that the boson is not a kind of a greediness and does not hypnotize spectrum is incorrect. sent2: that the pontifical does not exclaim preposition and is not a mangle does not hold if the John does not mangle. sent3: The Ophiophagus does not exclaim FIG. sent4: that the FIG does not hypnotize spectrum but it exclaims Ophiophagus is incorrect if there exists something such that it is a Gerbert. sent5: if the John does hypnotize spectrum and it is a Gerbert the pontifical does not hypnotize spectrum. sent6: a mangle that is a Gerbert is not a greediness. sent7: the FIG does not exclaim Ophiophagus. sent8: the fact that the John does exclaim preposition and is not a mangle is false if the pontifical is not a mangle. sent9: there are disagreeable and non-Fahrenheit things. sent10: if the FIG does not exclaim Ophiophagus then the cannonball does pin allele and is a neuroscience. sent11: if that the John is not a greediness hold then the boson is not a greediness and it does not hypnotize spectrum. sent12: the fact that the John is a Gerbert hold if there exists something such that it is disagreeable and it is not Fahrenheit. sent13: the cannonball does not exclaim preposition.
sent9 & sent12 -> int1: the John is a Gerbert.; void -> assump1: Let's assume that the John does mangle.; int1 & assump1 -> int2: the John does mangle and is a kind of a Gerbert.; sent6 -> int3: if the John is a mangle and it is a Gerbert then it is not a greediness.; int2 & int3 -> int4: the John is not a greediness.; int4 & sent11 -> int5: the boson is not a greediness and it does not hypnotize spectrum.; sent10 & sent7 -> int6: the cannonball does pin allele and it is a kind of a neuroscience.; int6 -> int7: the cannonball pins allele.; int7 -> int8: there exists something such that it does pin allele.; int8 & sent1 -> int9: that the boson is not a kind of a greediness and does not hypnotize spectrum is incorrect.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the John does not mangle.; int11 & sent2 -> hypothesis;
the pontifical does not hypnotize spectrum.
sent13 -> int12: something does not exclaim preposition.;
$hypothesis$ = that the pontifical does not exclaim preposition and is not a mangle is not right. ; $context$ = sent1: if something does pin allele the fact that the boson is not a kind of a greediness and does not hypnotize spectrum is incorrect. sent2: that the pontifical does not exclaim preposition and is not a mangle does not hold if the John does not mangle. sent3: The Ophiophagus does not exclaim FIG. sent4: that the FIG does not hypnotize spectrum but it exclaims Ophiophagus is incorrect if there exists something such that it is a Gerbert. sent5: if the John does hypnotize spectrum and it is a Gerbert the pontifical does not hypnotize spectrum. sent6: a mangle that is a Gerbert is not a greediness. sent7: the FIG does not exclaim Ophiophagus. sent8: the fact that the John does exclaim preposition and is not a mangle is false if the pontifical is not a mangle. sent9: there are disagreeable and non-Fahrenheit things. sent10: if the FIG does not exclaim Ophiophagus then the cannonball does pin allele and is a neuroscience. sent11: if that the John is not a greediness hold then the boson is not a greediness and it does not hypnotize spectrum. sent12: the fact that the John is a Gerbert hold if there exists something such that it is disagreeable and it is not Fahrenheit. sent13: the cannonball does not exclaim preposition. ; $proof$ = 
sent9 & sent12 -> int1: the John is a Gerbert.; void -> assump1: Let's assume that the John does mangle.; int1 & assump1 -> int2: the John does mangle and is a kind of a Gerbert.; sent6 -> int3: if the John is a mangle and it is a Gerbert then it is not a greediness.; int2 & int3 -> int4: the John is not a greediness.; int4 & sent11 -> int5: the boson is not a greediness and it does not hypnotize spectrum.; sent10 & sent7 -> int6: the cannonball does pin allele and it is a kind of a neuroscience.; int6 -> int7: the cannonball pins allele.; int7 -> int8: there exists something such that it does pin allele.; int8 & sent1 -> int9: that the boson is not a kind of a greediness and does not hypnotize spectrum is incorrect.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the John does not mangle.; int11 & sent2 -> hypothesis; __PROVED__