the fact that the petchary is translunar thing that permeates does not hold.
sent1: the fact that something permeates is right if the fact that it is not arenicolous is not right. sent2: the petchary does permeate. sent3: if there is something such that it is direct the fact that the execution is a kind of a Jansenism and it is low-resolution is not correct. sent4: the execution is arenicolous if it is choleraic. sent5: the execution is choleraic if the Domino is not a greeneye but it does deduce sclera. sent6: there exists something such that it is not a greeneye and does not deduce sclera. sent7: if something is not a Jansenism then that it is not choleraic and it is translunar is incorrect. sent8: the fact that the Domino is not a greeneye but it deduces sclera does not hold. sent9: there exists something such that the fact that it is not a greeneye and it deduces sclera is not right. sent10: if there exists something such that that it is not a greeneye and it does not deduce sclera is not correct the petchary is translunar. sent11: the execution is non-arenicolous. sent12: the petchary directs. sent13: the Domino does not deduce sclera. sent14: the petchary is translunar if there is something such that it does deduce sclera. sent15: if there is something such that the fact that it is a Jansenism and it is low-resolution does not hold the Domino is not a kind of a Jansenism. sent16: if the Domino is not a kind of a greeneye and it does not deduce sclera then the fact that the execution is not choleraic is not true. sent17: if the execution is arenicolous then it is translunar. sent18: that the crank is arenicolous hold if the Domino is arenicolous.
void -> assump1: Let's assume that the Domino is not a greeneye and it does not deduce sclera.; sent16 & assump1 -> int1: the execution is choleraic.; int1 & sent4 -> int2: the execution is arenicolous.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Domino is not a kind of a greeneye and it does not deduce sclera is false.; int4 -> int5: there exists something such that the fact that it is not a kind of a greeneye and does not deduce sclera is wrong.; int5 & sent10 -> int6: the petchary is translunar.; int6 & sent2 -> hypothesis;
the crank does permeate.
sent1 -> int7: if the crank is arenicolous then it permeates.; sent7 -> int8: if the Domino is not a Jansenism that it is not choleraic and it is translunar is false.; sent12 -> int9: there is something such that it is direct.; int9 & sent3 -> int10: the fact that the execution is a kind of a Jansenism and is low-resolution is not right.; int10 -> int11: there exists something such that the fact that it is a Jansenism and is low-resolution does not hold.; int11 & sent15 -> int12: the Domino is not a Jansenism.; int8 & int12 -> int13: the fact that the Domino is non-choleraic but it is not non-translunar is wrong.;
$hypothesis$ = the fact that the petchary is translunar thing that permeates does not hold. ; $context$ = sent1: the fact that something permeates is right if the fact that it is not arenicolous is not right. sent2: the petchary does permeate. sent3: if there is something such that it is direct the fact that the execution is a kind of a Jansenism and it is low-resolution is not correct. sent4: the execution is arenicolous if it is choleraic. sent5: the execution is choleraic if the Domino is not a greeneye but it does deduce sclera. sent6: there exists something such that it is not a greeneye and does not deduce sclera. sent7: if something is not a Jansenism then that it is not choleraic and it is translunar is incorrect. sent8: the fact that the Domino is not a greeneye but it deduces sclera does not hold. sent9: there exists something such that the fact that it is not a greeneye and it deduces sclera is not right. sent10: if there exists something such that that it is not a greeneye and it does not deduce sclera is not correct the petchary is translunar. sent11: the execution is non-arenicolous. sent12: the petchary directs. sent13: the Domino does not deduce sclera. sent14: the petchary is translunar if there is something such that it does deduce sclera. sent15: if there is something such that the fact that it is a Jansenism and it is low-resolution does not hold the Domino is not a kind of a Jansenism. sent16: if the Domino is not a kind of a greeneye and it does not deduce sclera then the fact that the execution is not choleraic is not true. sent17: if the execution is arenicolous then it is translunar. sent18: that the crank is arenicolous hold if the Domino is arenicolous. ; $proof$ = 
void -> assump1: Let's assume that the Domino is not a greeneye and it does not deduce sclera.; sent16 & assump1 -> int1: the execution is choleraic.; int1 & sent4 -> int2: the execution is arenicolous.; int2 & sent11 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Domino is not a kind of a greeneye and it does not deduce sclera is false.; int4 -> int5: there exists something such that the fact that it is not a kind of a greeneye and does not deduce sclera is wrong.; int5 & sent10 -> int6: the petchary is translunar.; int6 & sent2 -> hypothesis; __DISPROVED__