the wencher does not deplore phytotherapy and it is not scrotal.
sent1: the wencher does not deplore phytotherapy. sent2: the poppet is credible if that either the fluorescein does not underdress or it is credible or both is wrong. sent3: that the fluorescein does not underdress or it is credible or both is false if the foresail is not a pesticide. sent4: there exists something such that the fact that it is not credible and is not a mismanagement is false. sent5: the fluorescein does underdress. sent6: the foresail is credible. sent7: the foresail is not a pesticide. sent8: the poppet does bask letters. sent9: The letters does bask poppet. sent10: if something basks letters and it is a kind of a mismanagement it is not credible. sent11: if that the fluorescein either does underdress or is credible or both is not right then the poppet is credible. sent12: the wencher does not deplore phytotherapy and is not scrotal if the poppet is not a mismanagement.
void -> assump1: Let's assume that the poppet is a mismanagement.; sent8 & assump1 -> int1: the poppet does bask letters and it is a mismanagement.; sent10 -> int2: the poppet is not credible if it basks letters and is a kind of a mismanagement.; int1 & int2 -> int3: the poppet is not credible.; sent3 & sent7 -> int4: that the fluorescein does not underdress and/or is credible is not correct.; sent2 & int4 -> int5: the poppet is credible.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the poppet is not a kind of a mismanagement.; int7 & sent12 -> hypothesis;
the fact that the wencher does not deplore phytotherapy and it is not scrotal is not correct.
$hypothesis$ = the wencher does not deplore phytotherapy and it is not scrotal. ; $context$ = sent1: the wencher does not deplore phytotherapy. sent2: the poppet is credible if that either the fluorescein does not underdress or it is credible or both is wrong. sent3: that the fluorescein does not underdress or it is credible or both is false if the foresail is not a pesticide. sent4: there exists something such that the fact that it is not credible and is not a mismanagement is false. sent5: the fluorescein does underdress. sent6: the foresail is credible. sent7: the foresail is not a pesticide. sent8: the poppet does bask letters. sent9: The letters does bask poppet. sent10: if something basks letters and it is a kind of a mismanagement it is not credible. sent11: if that the fluorescein either does underdress or is credible or both is not right then the poppet is credible. sent12: the wencher does not deplore phytotherapy and is not scrotal if the poppet is not a mismanagement. ; $proof$ = 
void -> assump1: Let's assume that the poppet is a mismanagement.; sent8 & assump1 -> int1: the poppet does bask letters and it is a mismanagement.; sent10 -> int2: the poppet is not credible if it basks letters and is a kind of a mismanagement.; int1 & int2 -> int3: the poppet is not credible.; sent3 & sent7 -> int4: that the fluorescein does not underdress and/or is credible is not correct.; sent2 & int4 -> int5: the poppet is credible.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the poppet is not a kind of a mismanagement.; int7 & sent12 -> hypothesis; __PROVED__