the pylorus is not a Ephesus.
sent1: the fact that the fact that the pylorus is a kind of non-zymotic thing that hymns psychopathy is incorrect is not incorrect if the competition is non-zymotic. sent2: that something does not lime temperature and it is not a salicylate is false if it is not a trichion. sent3: the competition does not lime temperature and is not a salicylate. sent4: the pylorus is not a Ephesus if the fact that it is not zymotic and it hymns psychopathy does not hold. sent5: if the competition is enolic but it is not a Army then it is zymotic. sent6: the competition is not a trichion if the fact that it is both enolic and not a Army is wrong. sent7: the pylorus is a Ephesus if there exists something such that the fact that it is not a kind of a Ephesus and is a kind of a trichion does not hold.
void -> assump1: Let's assume that that the competition is both enolic and not a Army is not right.; sent6 & assump1 -> int1: that the competition is not a trichion is not wrong.; sent2 -> int2: if the competition is not a kind of a trichion the fact that it does not lime temperature and it is not a salicylate does not hold.; int1 & int2 -> int3: that the competition does not lime temperature and is not a salicylate is not correct.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the competition is both enolic and not a Army.; int5 & sent5 -> int6: that the competition is zymotic hold.; int6 & sent1 -> int7: the fact that the pylorus is not zymotic and does hymn psychopathy is false.; int7 & sent4 -> hypothesis;
the pylorus is a kind of a Ephesus.
$hypothesis$ = the pylorus is not a Ephesus. ; $context$ = sent1: the fact that the fact that the pylorus is a kind of non-zymotic thing that hymns psychopathy is incorrect is not incorrect if the competition is non-zymotic. sent2: that something does not lime temperature and it is not a salicylate is false if it is not a trichion. sent3: the competition does not lime temperature and is not a salicylate. sent4: the pylorus is not a Ephesus if the fact that it is not zymotic and it hymns psychopathy does not hold. sent5: if the competition is enolic but it is not a Army then it is zymotic. sent6: the competition is not a trichion if the fact that it is both enolic and not a Army is wrong. sent7: the pylorus is a Ephesus if there exists something such that the fact that it is not a kind of a Ephesus and is a kind of a trichion does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the competition is both enolic and not a Army is not right.; sent6 & assump1 -> int1: that the competition is not a trichion is not wrong.; sent2 -> int2: if the competition is not a kind of a trichion the fact that it does not lime temperature and it is not a salicylate does not hold.; int1 & int2 -> int3: that the competition does not lime temperature and is not a salicylate is not correct.; int3 & sent3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the competition is both enolic and not a Army.; int5 & sent5 -> int6: that the competition is zymotic hold.; int6 & sent1 -> int7: the fact that the pylorus is not zymotic and does hymn psychopathy is false.; int7 & sent4 -> hypothesis; __PROVED__