the aquamarine is not a Trotsky.
sent1: the fact that the europium is a beat is true. sent2: the aquamarine is a kind of a dilatoriness if either the sheepwalk does not sermonize mobcap or it is not humic or both. sent3: the fact that the aphid does not sermonize mobcap hold if the fact that the europium sermonizes habitat and is not a kind of a printmaker is not true. sent4: if that the aphid does not sermonize mobcap is right then the sheepwalk does not sermonize mobcap or it is not humic or both. sent5: the europium does not beat if it does sermonize habitat and is not a kind of a printmaker. sent6: that the aquamarine is a Trotsky hold if it does cloister precession. sent7: if the aquamarine is a dilatoriness it cloisters precession.
void -> assump1: Let's assume that that the europium does sermonize habitat and is not a printmaker hold.; sent5 & assump1 -> int1: the europium is not a beat.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the europium sermonizes habitat and is not a kind of a printmaker is not true.; int3 & sent3 -> int4: the aphid does not sermonize mobcap.; int4 & sent4 -> int5: the sheepwalk does not sermonize mobcap or is non-humic or both.; int5 & sent2 -> int6: the aquamarine is a dilatoriness.; int6 & sent7 -> int7: the aquamarine cloisters precession.; int7 & sent6 -> hypothesis;
$hypothesis$ = the aquamarine is not a Trotsky. ; $context$ = sent1: the fact that the europium is a beat is true. sent2: the aquamarine is a kind of a dilatoriness if either the sheepwalk does not sermonize mobcap or it is not humic or both. sent3: the fact that the aphid does not sermonize mobcap hold if the fact that the europium sermonizes habitat and is not a kind of a printmaker is not true. sent4: if that the aphid does not sermonize mobcap is right then the sheepwalk does not sermonize mobcap or it is not humic or both. sent5: the europium does not beat if it does sermonize habitat and is not a kind of a printmaker. sent6: that the aquamarine is a Trotsky hold if it does cloister precession. sent7: if the aquamarine is a dilatoriness it cloisters precession. ; $proof$ = 
void -> assump1: Let's assume that that the europium does sermonize habitat and is not a printmaker hold.; sent5 & assump1 -> int1: the europium is not a beat.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the europium sermonizes habitat and is not a kind of a printmaker is not true.; int3 & sent3 -> int4: the aphid does not sermonize mobcap.; int4 & sent4 -> int5: the sheepwalk does not sermonize mobcap or is non-humic or both.; int5 & sent2 -> int6: the aquamarine is a dilatoriness.; int6 & sent7 -> int7: the aquamarine cloisters precession.; int7 & sent6 -> hypothesis; __DISPROVED__