there exists something such that it does snick Marceau and is not a tranche.
sent1: that the episcopate does not plot Diana is not wrong if the spirochete is not a kind of an incisor. sent2: the episcopate is an incisor. sent3: the judge is an incisor. sent4: if that the spirochete does not plot Diana is not wrong the judge is not a tranche. sent5: the spirochete is a angelology. sent6: the fact that the judge is a kind of a Nyctimene but it is not a tranche is not false. sent7: the spirochete does canter and is not a kind of an oxcart. sent8: the plebeian is not crustose. sent9: if a crustose thing is a kind of a angelology then it does not plot Diana. sent10: there exists something such that it is not a phenylalanine. sent11: the episcopate is a Nyctimene if the spirochete is not crustose. sent12: something is not a kind of a tranche. sent13: something bespangles and does not proliferate absorbate if it is crustose. sent14: the episcopate does French faineance and is not a Malacanthidae. sent15: the episcopate is a Nyctimene. sent16: there is something such that it snicks Marceau and it is a kind of a tranche. sent17: if that the fact that the spirochete is not a angelology and does not plot Diana hold is wrong then the episcopate is not non-crustose. sent18: the spirochete does snick Marceau if the judge is not crustose. sent19: the judge snicks Marceau but it is not a tranche if that the spirochete does not plot Diana is not false. sent20: if the spirochete is not crustose the episcopate is a Nyctimene but it is not a kind of an incisor. sent21: that the spirochete does snick Marceau is right. sent22: if something is not a kind of a tranche that it is not a angelology and it does not plot Diana is false.
void -> assump1: Let's assume that the spirochete is not crustose.; sent20 & assump1 -> int1: the episcopate is a kind of a Nyctimene but it is not an incisor.; int1 -> int2: the episcopate is not an incisor.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spirochete is crustose.; int4 & sent5 -> int5: the spirochete is crustose and it is a kind of a angelology.; sent9 -> int6: if the spirochete is crustose and it is a angelology then it does not plot Diana.; int5 & int6 -> int7: the spirochete does not plot Diana.; int7 & sent19 -> int8: the judge does snick Marceau but it is not a kind of a tranche.; int8 -> hypothesis;
the episcopate does bespangle but it does not proliferate absorbate.
sent13 -> int9: the episcopate does bespangle and does not proliferate absorbate if it is crustose.; sent22 -> int10: the fact that the judge is not a angelology and it does not plot Diana is not correct if it is not a kind of a tranche.;
$hypothesis$ = there exists something such that it does snick Marceau and is not a tranche. ; $context$ = sent1: that the episcopate does not plot Diana is not wrong if the spirochete is not a kind of an incisor. sent2: the episcopate is an incisor. sent3: the judge is an incisor. sent4: if that the spirochete does not plot Diana is not wrong the judge is not a tranche. sent5: the spirochete is a angelology. sent6: the fact that the judge is a kind of a Nyctimene but it is not a tranche is not false. sent7: the spirochete does canter and is not a kind of an oxcart. sent8: the plebeian is not crustose. sent9: if a crustose thing is a kind of a angelology then it does not plot Diana. sent10: there exists something such that it is not a phenylalanine. sent11: the episcopate is a Nyctimene if the spirochete is not crustose. sent12: something is not a kind of a tranche. sent13: something bespangles and does not proliferate absorbate if it is crustose. sent14: the episcopate does French faineance and is not a Malacanthidae. sent15: the episcopate is a Nyctimene. sent16: there is something such that it snicks Marceau and it is a kind of a tranche. sent17: if that the fact that the spirochete is not a angelology and does not plot Diana hold is wrong then the episcopate is not non-crustose. sent18: the spirochete does snick Marceau if the judge is not crustose. sent19: the judge snicks Marceau but it is not a tranche if that the spirochete does not plot Diana is not false. sent20: if the spirochete is not crustose the episcopate is a Nyctimene but it is not a kind of an incisor. sent21: that the spirochete does snick Marceau is right. sent22: if something is not a kind of a tranche that it is not a angelology and it does not plot Diana is false. ; $proof$ = 
void -> assump1: Let's assume that the spirochete is not crustose.; sent20 & assump1 -> int1: the episcopate is a kind of a Nyctimene but it is not an incisor.; int1 -> int2: the episcopate is not an incisor.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spirochete is crustose.; int4 & sent5 -> int5: the spirochete is crustose and it is a kind of a angelology.; sent9 -> int6: if the spirochete is crustose and it is a angelology then it does not plot Diana.; int5 & int6 -> int7: the spirochete does not plot Diana.; int7 & sent19 -> int8: the judge does snick Marceau but it is not a kind of a tranche.; int8 -> hypothesis; __PROVED__