that if the Moor does not scale launchpad then the fact that the launchpad is a Ezekiel that scales herald is wrong is not true.
sent1: if there is something such that the fact that it either is a Demeter or does wrestle or both is not right the Moor scales launchpad. sent2: the launchpad is a Ezekiel and does scale herald if the Moor does not scale launchpad. sent3: if the hedonist is adequate then the launchpad is a Ezekiel and it scales herald. sent4: the bestiality does wrestle. sent5: there exists something such that either it is a kind of a Demeter or it does not wrestle or both. sent6: if the Moor does scale launchpad then that the launchpad is a Ezekiel and it scales herald does not hold. sent7: if the launchpad scales launchpad then the fact that the Moor does scale herald and/or it does not scales launchpad is not correct. sent8: the Moor scales launchpad if there exists something such that the fact that it is a kind of a Demeter and/or it is not a wrestling is wrong. sent9: if the hedonist wrestles then the bestiality does wrestles. sent10: if the hedonist is inadequate it is a wrestling. sent11: if the hedonist is not inadequate then that the launchpad is a kind of a Ezekiel that scales herald is not right. sent12: the launchpad is a nightmare. sent13: that the bestiality is a Demeter and/or not a wrestling is incorrect if the hedonist is a wrestling. sent14: the Moor does scale herald and it is a kind of a Ezekiel. sent15: that the launchpad does scale launchpad and is a Demeter is not correct if the bestiality is not a kind of a Ezekiel. sent16: something is a wrestling. sent17: if there exists something such that that it is both a wrestling and inadequate is not true then the privet does not scale launchpad. sent18: the hedonist does scale launchpad.
void -> assump1: Let's assume that the hedonist is inadequate.; sent10 & assump1 -> int1: the hedonist wrestles.; sent13 & int1 -> int2: the fact that the bestiality is a Demeter and/or it is not a wrestling is not true.; int2 -> int3: there exists something such that the fact that either it is a kind of a Demeter or it is not a wrestling or both is false.; int3 & sent8 -> int4: the Moor scales launchpad.; void -> assump2: Let's assume that the fact that the Moor does not scale launchpad is not wrong.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the hedonist is adequate.; sent11 & int6 -> int7: the fact that the launchpad is a Ezekiel and it scales herald is not right.; [assump2] & int7 -> hypothesis;
that the privet does not scale launchpad hold.
sent14 -> int8: that the Moor is a Ezekiel is right.; int8 -> int9: there exists something such that it is a Ezekiel.;
$hypothesis$ = that if the Moor does not scale launchpad then the fact that the launchpad is a Ezekiel that scales herald is wrong is not true. ; $context$ = sent1: if there is something such that the fact that it either is a Demeter or does wrestle or both is not right the Moor scales launchpad. sent2: the launchpad is a Ezekiel and does scale herald if the Moor does not scale launchpad. sent3: if the hedonist is adequate then the launchpad is a Ezekiel and it scales herald. sent4: the bestiality does wrestle. sent5: there exists something such that either it is a kind of a Demeter or it does not wrestle or both. sent6: if the Moor does scale launchpad then that the launchpad is a Ezekiel and it scales herald does not hold. sent7: if the launchpad scales launchpad then the fact that the Moor does scale herald and/or it does not scales launchpad is not correct. sent8: the Moor scales launchpad if there exists something such that the fact that it is a kind of a Demeter and/or it is not a wrestling is wrong. sent9: if the hedonist wrestles then the bestiality does wrestles. sent10: if the hedonist is inadequate it is a wrestling. sent11: if the hedonist is not inadequate then that the launchpad is a kind of a Ezekiel that scales herald is not right. sent12: the launchpad is a nightmare. sent13: that the bestiality is a Demeter and/or not a wrestling is incorrect if the hedonist is a wrestling. sent14: the Moor does scale herald and it is a kind of a Ezekiel. sent15: that the launchpad does scale launchpad and is a Demeter is not correct if the bestiality is not a kind of a Ezekiel. sent16: something is a wrestling. sent17: if there exists something such that that it is both a wrestling and inadequate is not true then the privet does not scale launchpad. sent18: the hedonist does scale launchpad. ; $proof$ = 
void -> assump1: Let's assume that the hedonist is inadequate.; sent10 & assump1 -> int1: the hedonist wrestles.; sent13 & int1 -> int2: the fact that the bestiality is a Demeter and/or it is not a wrestling is not true.; int2 -> int3: there exists something such that the fact that either it is a kind of a Demeter or it is not a wrestling or both is false.; int3 & sent8 -> int4: the Moor scales launchpad.; void -> assump2: Let's assume that the fact that the Moor does not scale launchpad is not wrong.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the hedonist is adequate.; sent11 & int6 -> int7: the fact that the launchpad is a Ezekiel and it scales herald is not right.; [assump2] & int7 -> hypothesis; __DISPROVED__