the fact that if the razor-fish is not a kind of a mummy then the PX is monaural thing that cloys is wrong.
sent1: if the fact that the razor-fish is not a precipitin is true the fact that it cloys and is monaural is incorrect. sent2: if that the maxi is monaural is not incorrect then the PX is both a mummy and cenogenetic. sent3: the pancake is cenogenetic. sent4: the PX is a mummy if the fact that it is not a mummy and it does curb depredation is not right. sent5: if the PX is cenogenetic then the fact that it does curb depredation is not false. sent6: the PX is monaural if the maxi is not a parr and it is not a kind of a Atropidae. sent7: the PX arrives jockey if that the pancake is cenogenetic hold. sent8: the fact that that the maxi is not cenogenetic but it is a parr is true is not true. sent9: that the razor-fish is a kind of a mummy is not wrong if the maxi is a Atropidae. sent10: the PX is a kind of a precipitin if that it is not a precipitin and it does curb depredation is not true. sent11: the PX is a kind of monaural thing that cloys if the razor-fish is a kind of a mummy. sent12: that the PX is not a precipitin but it does curb depredation is not true. sent13: the PX is a parr. sent14: if that the maxi is both not cenogenetic and a parr is not correct then it is not a parr. sent15: the withstander is not a mummy. sent16: if something does arrive jockey the razor-fish is not a precipitin. sent17: the cranny is a mummy. sent18: the fact that something is a kind of a Atropidae and it is a kind of a parr is not true if it is not monaural. sent19: if the PX is a kind of a precipitin then it cloys. sent20: the maxi is a mummy.
void -> assump1: Let's assume that the maxi is a Atropidae.; sent9 & assump1 -> int1: the razor-fish is a mummy.; void -> assump2: Let's assume that the razor-fish is not a mummy.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the maxi is not a Atropidae.; sent14 & sent8 -> int4: the maxi is not a parr.; int3 & int4 -> int5: the maxi is not a parr and it is not a Atropidae.; int5 & sent6 -> int6: the PX is monaural.; sent10 & sent12 -> int7: the PX is a precipitin.; sent19 & int7 -> int8: the PX does cloy.; int6 & int8 -> int9: the PX is monaural and it does cloy.; [assump2] & int9 -> hypothesis;
the loosestrife is a mummy.
sent18 -> int10: the fact that the maxi is a Atropidae and it is a parr is false if it is not monaural.; sent7 & sent3 -> int11: the PX arrives jockey.; int11 -> int12: there is something such that it arrives jockey.; int12 & sent16 -> int13: that the razor-fish is not a kind of a precipitin is true.; sent1 & int13 -> int14: that the razor-fish cloys and is monaural is not right.; int14 -> int15: there exists something such that the fact that it cloys and it is monaural does not hold.;
$hypothesis$ = the fact that if the razor-fish is not a kind of a mummy then the PX is monaural thing that cloys is wrong. ; $context$ = sent1: if the fact that the razor-fish is not a precipitin is true the fact that it cloys and is monaural is incorrect. sent2: if that the maxi is monaural is not incorrect then the PX is both a mummy and cenogenetic. sent3: the pancake is cenogenetic. sent4: the PX is a mummy if the fact that it is not a mummy and it does curb depredation is not right. sent5: if the PX is cenogenetic then the fact that it does curb depredation is not false. sent6: the PX is monaural if the maxi is not a parr and it is not a kind of a Atropidae. sent7: the PX arrives jockey if that the pancake is cenogenetic hold. sent8: the fact that that the maxi is not cenogenetic but it is a parr is true is not true. sent9: that the razor-fish is a kind of a mummy is not wrong if the maxi is a Atropidae. sent10: the PX is a kind of a precipitin if that it is not a precipitin and it does curb depredation is not true. sent11: the PX is a kind of monaural thing that cloys if the razor-fish is a kind of a mummy. sent12: that the PX is not a precipitin but it does curb depredation is not true. sent13: the PX is a parr. sent14: if that the maxi is both not cenogenetic and a parr is not correct then it is not a parr. sent15: the withstander is not a mummy. sent16: if something does arrive jockey the razor-fish is not a precipitin. sent17: the cranny is a mummy. sent18: the fact that something is a kind of a Atropidae and it is a kind of a parr is not true if it is not monaural. sent19: if the PX is a kind of a precipitin then it cloys. sent20: the maxi is a mummy. ; $proof$ = 
void -> assump1: Let's assume that the maxi is a Atropidae.; sent9 & assump1 -> int1: the razor-fish is a mummy.; void -> assump2: Let's assume that the razor-fish is not a mummy.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the maxi is not a Atropidae.; sent14 & sent8 -> int4: the maxi is not a parr.; int3 & int4 -> int5: the maxi is not a parr and it is not a Atropidae.; int5 & sent6 -> int6: the PX is monaural.; sent10 & sent12 -> int7: the PX is a precipitin.; sent19 & int7 -> int8: the PX does cloy.; int6 & int8 -> int9: the PX is monaural and it does cloy.; [assump2] & int9 -> hypothesis; __DISPROVED__