the fact that the ash does not reek if the nucleoside talcs afforestation does not hold.
sent1: if the strudel does not continue then the ash does not reek and is not a blight. sent2: the ash reeks. sent3: the ash does not reek if either the underachiever is not cytological or it is a serif or both. sent4: the strudel does not continue if the exercycle does continue and does talc hypotonia. sent5: the underachiever is not cytological if there exists something such that it does not reek and it is not a blight. sent6: the nucleoside is not a blight. sent7: the carnelian talcs hypotonia and/or it is a kind of a serif. sent8: the underachiever is not cytological and/or it is a kind of a serif if that there exists something such that the fact that it does talc afforestation is true is true. sent9: the fact that something does not talc afforestation and is not a kind of a serif is not true if it is not cytological. sent10: that the ash does not reek hold if the underachiever is not cytological. sent11: that the ash does reek hold if the nucleoside talcs afforestation.
void -> assump1: Let's assume that the nucleoside talcs afforestation.; assump1 -> int1: something talcs afforestation.; int1 & sent8 -> int2: the underachiever is not cytological and/or is a serif.; sent3 & int2 -> int3: the ash does not reek.; [assump1] & int3 -> hypothesis;
the mineshaft does not geyser strudel and/or it is a kind of a two.
sent9 -> int4: that the underachiever does not talc afforestation and it is not a serif does not hold if it is not cytological.;
$hypothesis$ = the fact that the ash does not reek if the nucleoside talcs afforestation does not hold. ; $context$ = sent1: if the strudel does not continue then the ash does not reek and is not a blight. sent2: the ash reeks. sent3: the ash does not reek if either the underachiever is not cytological or it is a serif or both. sent4: the strudel does not continue if the exercycle does continue and does talc hypotonia. sent5: the underachiever is not cytological if there exists something such that it does not reek and it is not a blight. sent6: the nucleoside is not a blight. sent7: the carnelian talcs hypotonia and/or it is a kind of a serif. sent8: the underachiever is not cytological and/or it is a kind of a serif if that there exists something such that the fact that it does talc afforestation is true is true. sent9: the fact that something does not talc afforestation and is not a kind of a serif is not true if it is not cytological. sent10: that the ash does not reek hold if the underachiever is not cytological. sent11: that the ash does reek hold if the nucleoside talcs afforestation. ; $proof$ = 
void -> assump1: Let's assume that the nucleoside talcs afforestation.; assump1 -> int1: something talcs afforestation.; int1 & sent8 -> int2: the underachiever is not cytological and/or is a serif.; sent3 & int2 -> int3: the ash does not reek.; [assump1] & int3 -> hypothesis; __DISPROVED__