the phenelzine is a kind of a foresight.
sent1: the fact that the phenelzine either is a friedcake or is a foresight or both is not correct if the upstage is not a foresight. sent2: that that the greybeard aspires and is nosohusial is right is false. sent3: the upstage does not aspire. sent4: there is something such that it is not a friedcake. sent5: the fact that the greybeard either is myelinic or does aspire or both is not correct if the fact that the crematory does not aspire is right. sent6: if the upstage is not nosohusial then that the phenelzine is a foresight and/or is nosohusial is false. sent7: there is something such that it does not consolidate. sent8: there is something such that that it aspires and/or is a foresight is incorrect. sent9: the upstage is nosohusial thing that is not a friedcake if there is something such that it is a kind of a magnum. sent10: the fact that the crematory does aspire and it is a friedcake is incorrect if the phenelzine is a foresight. sent11: the fact that the phenelzine does not aspire is not incorrect. sent12: there is something such that it is not nosohusial. sent13: if the greybeard is a foresight the fact that the fact that the phenelzine does aspire and is myelinic is not false is incorrect. sent14: there is something such that it is a magnum. sent15: the phenelzine is a friedcake. sent16: the fact that the fact that the upstage is nosohusial and is not a kind of a friedcake is true does not hold if the crematory aspires. sent17: the phenelzine aspires if there exists something such that the fact that either it is a foresight or it is nosohusial or both is false. sent18: if there exists something such that it is a kind of a friedcake then the upstage is a foresight that does not aspire.
void -> assump1: Let's assume that the crematory does aspire.; sent16 & assump1 -> int1: the fact that the upstage is a kind of nosohusial thing that is not a friedcake is not true.; sent14 & sent9 -> int2: the upstage is nosohusial but it is not a kind of a friedcake.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the crematory does not aspire.; int4 & sent5 -> int5: that the greybeard is myelinic and/or it does aspire is not correct.; int5 -> int6: there exists something such that that it is myelinic and/or it does aspire is not right.;
$hypothesis$ = the phenelzine is a kind of a foresight. ; $context$ = sent1: the fact that the phenelzine either is a friedcake or is a foresight or both is not correct if the upstage is not a foresight. sent2: that that the greybeard aspires and is nosohusial is right is false. sent3: the upstage does not aspire. sent4: there is something such that it is not a friedcake. sent5: the fact that the greybeard either is myelinic or does aspire or both is not correct if the fact that the crematory does not aspire is right. sent6: if the upstage is not nosohusial then that the phenelzine is a foresight and/or is nosohusial is false. sent7: there is something such that it does not consolidate. sent8: there is something such that that it aspires and/or is a foresight is incorrect. sent9: the upstage is nosohusial thing that is not a friedcake if there is something such that it is a kind of a magnum. sent10: the fact that the crematory does aspire and it is a friedcake is incorrect if the phenelzine is a foresight. sent11: the fact that the phenelzine does not aspire is not incorrect. sent12: there is something such that it is not nosohusial. sent13: if the greybeard is a foresight the fact that the fact that the phenelzine does aspire and is myelinic is not false is incorrect. sent14: there is something such that it is a magnum. sent15: the phenelzine is a friedcake. sent16: the fact that the fact that the upstage is nosohusial and is not a kind of a friedcake is true does not hold if the crematory aspires. sent17: the phenelzine aspires if there exists something such that the fact that either it is a foresight or it is nosohusial or both is false. sent18: if there exists something such that it is a kind of a friedcake then the upstage is a foresight that does not aspire. ; $proof$ = 
void -> assump1: Let's assume that the crematory does aspire.; sent16 & assump1 -> int1: the fact that the upstage is a kind of nosohusial thing that is not a friedcake is not true.; sent14 & sent9 -> int2: the upstage is nosohusial but it is not a kind of a friedcake.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the crematory does not aspire.; int4 & sent5 -> int5: that the greybeard is myelinic and/or it does aspire is not correct.; int5 -> int6: there exists something such that that it is myelinic and/or it does aspire is not right.; __UNKNOWN__