there exists something such that it is not electrocardiographic and it does imprint.
sent1: something is Mormon. sent2: if the down is not a kind of a scheduler it is a footcandle and it is not a Mormon. sent3: if the fact that the fact that the down is electrocardiographic and is not popular is incorrect is right it is not electrocardiographic. sent4: something troubles acute if it is a scheduler. sent5: if something does trouble acute then it imprints. sent6: if there are Mormon things then the fact that the fact that the down is both a footcandle and not a Mormon does not hold is true. sent7: the down is not denominational. sent8: the fact that the down is electrocardiographic but it is not popular does not hold if it is not denominational.
void -> assump1: Let's assume that the down is not a kind of a scheduler.; sent2 & assump1 -> int1: the down is a footcandle but it is not Mormon.; sent1 & sent6 -> int2: that the down is a footcandle and not Mormon is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the down is a scheduler.; sent4 -> int5: if the down is a scheduler then it does trouble acute.; int4 & int5 -> int6: the down does trouble acute.; sent5 -> int7: if the down does trouble acute then it is an imprint.; int6 & int7 -> int8: the down does imprint.; sent8 & sent7 -> int9: the fact that the down is both electrocardiographic and not popular is false.; sent3 & int9 -> int10: the down is not electrocardiographic.; int8 & int10 -> int11: the down is non-electrocardiographic and is a kind of an imprint.; int11 -> hypothesis;
$hypothesis$ = there exists something such that it is not electrocardiographic and it does imprint. ; $context$ = sent1: something is Mormon. sent2: if the down is not a kind of a scheduler it is a footcandle and it is not a Mormon. sent3: if the fact that the fact that the down is electrocardiographic and is not popular is incorrect is right it is not electrocardiographic. sent4: something troubles acute if it is a scheduler. sent5: if something does trouble acute then it imprints. sent6: if there are Mormon things then the fact that the fact that the down is both a footcandle and not a Mormon does not hold is true. sent7: the down is not denominational. sent8: the fact that the down is electrocardiographic but it is not popular does not hold if it is not denominational. ; $proof$ = 
void -> assump1: Let's assume that the down is not a kind of a scheduler.; sent2 & assump1 -> int1: the down is a footcandle but it is not Mormon.; sent1 & sent6 -> int2: that the down is a footcandle and not Mormon is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the down is a scheduler.; sent4 -> int5: if the down is a scheduler then it does trouble acute.; int4 & int5 -> int6: the down does trouble acute.; sent5 -> int7: if the down does trouble acute then it is an imprint.; int6 & int7 -> int8: the down does imprint.; sent8 & sent7 -> int9: the fact that the down is both electrocardiographic and not popular is false.; sent3 & int9 -> int10: the down is not electrocardiographic.; int8 & int10 -> int11: the down is non-electrocardiographic and is a kind of an imprint.; int11 -> hypothesis; __PROVED__