the covering does not simplify.
sent1: the pitch does not ensky wisdom and does not ensky vestibule. sent2: something that is not tender and does not scoff nawab is not azotic. sent3: if the fool is not azotic then the naphthalene does not condescend and does play. sent4: the naphthalene is not strategics. sent5: there is something such that it is strategics. sent6: everything does furrow. sent7: something scoffs Amazon if it does not condescend and it is a kind of a play. sent8: something that is a kind of a furrow is not a tender and does not scoff nawab. sent9: the covering is not noneffervescent. sent10: if there is something such that it is not strategics that the covering is both not a inhabitancy and not noneffervescent is false. sent11: something is not a inhabitancy if it does not simplify. sent12: that the fool is not a play and not strategics is not true if it does not scoff Amazon. sent13: if something that is not a inhabitancy is strategics it is not noneffervescent. sent14: the fool does not scoff Amazon.
sent11 -> int1: if the covering does not simplify then it is not a inhabitancy.; void -> assump1: Let's assume that the covering does not simplify.; int1 & assump1 -> int2: the fact that the covering is not a inhabitancy hold.; int2 & sent9 -> int3: the covering is not a inhabitancy and is not noneffervescent.; sent4 -> int4: there exists something such that it is not strategics.; int4 & sent10 -> int5: the fact that the covering is not a kind of a inhabitancy and is not noneffervescent is not true.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the naphthalene does not simplify.
sent12 & sent14 -> int7: that the fool does not play and is not strategics does not hold.; int7 -> int8: there exists something such that the fact that it is not a play and it is not strategics is incorrect.;
$hypothesis$ = the covering does not simplify. ; $context$ = sent1: the pitch does not ensky wisdom and does not ensky vestibule. sent2: something that is not tender and does not scoff nawab is not azotic. sent3: if the fool is not azotic then the naphthalene does not condescend and does play. sent4: the naphthalene is not strategics. sent5: there is something such that it is strategics. sent6: everything does furrow. sent7: something scoffs Amazon if it does not condescend and it is a kind of a play. sent8: something that is a kind of a furrow is not a tender and does not scoff nawab. sent9: the covering is not noneffervescent. sent10: if there is something such that it is not strategics that the covering is both not a inhabitancy and not noneffervescent is false. sent11: something is not a inhabitancy if it does not simplify. sent12: that the fool is not a play and not strategics is not true if it does not scoff Amazon. sent13: if something that is not a inhabitancy is strategics it is not noneffervescent. sent14: the fool does not scoff Amazon. ; $proof$ = 
sent11 -> int1: if the covering does not simplify then it is not a inhabitancy.; void -> assump1: Let's assume that the covering does not simplify.; int1 & assump1 -> int2: the fact that the covering is not a inhabitancy hold.; int2 & sent9 -> int3: the covering is not a inhabitancy and is not noneffervescent.; sent4 -> int4: there exists something such that it is not strategics.; int4 & sent10 -> int5: the fact that the covering is not a kind of a inhabitancy and is not noneffervescent is not true.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__