the Saudi is not a mocha.
sent1: the Saudi is a kind of a mocha if there exists something such that the fact that it is not argillaceous and it monopolizes Saudi is wrong. sent2: that the Blackfoot does clamor derailment and is bibless does not hold if it is not a mocha. sent3: if something is not a depiction then the melatonin is not a kind of a depiction. sent4: there is something such that that it is a kind of a depiction and is a pawn does not hold. sent5: the melatonin is not a pawn and does clamor derailment if the Blackfoot is not bibless. sent6: the Blackfoot is not bibless if the resorcinol is non-argillaceous but it monopolizes Saudi. sent7: if the resorcinol is not a depiction the melatonin does not monopolize Saudi. sent8: the Blackfoot is not a mocha if the Saudi is not bibless. sent9: there exists something such that that it is both not bibless and a pawn does not hold. sent10: the melatonin is not a kind of a mocha. sent11: that the resorcinol is a depiction that is argillaceous is not correct if it is not a mocha. sent12: if the melatonin is not a depiction then that it is not a pawn and clamors derailment is false. sent13: there is something such that that it is scalic and does clamor nonpareil is not right. sent14: there exists something such that the fact that it is a kind of legato a depiction is wrong. sent15: if there is something such that that it is legato thing that is a kind of a depiction is incorrect the melatonin is not a kind of a depiction. sent16: if the melatonin does not monopolize Saudi the resorcinol does not pawn but it is bibless.
void -> assump1: Let's assume that the resorcinol is non-argillaceous but it monopolizes Saudi.; sent6 & assump1 -> int1: the Blackfoot is not bibless.; int1 & sent5 -> int2: the melatonin is not a pawn but it clamors derailment.; sent14 & sent15 -> int3: the melatonin is not a kind of a depiction.; sent12 & int3 -> int4: that the melatonin does not pawn and does clamor derailment is not true.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the resorcinol is a kind of non-argillaceous thing that does monopolize Saudi is not right.; int6 -> int7: there is something such that that it is a kind of non-argillaceous thing that monopolizes Saudi is not true.; int7 & sent1 -> hypothesis;
$hypothesis$ = the Saudi is not a mocha. ; $context$ = sent1: the Saudi is a kind of a mocha if there exists something such that the fact that it is not argillaceous and it monopolizes Saudi is wrong. sent2: that the Blackfoot does clamor derailment and is bibless does not hold if it is not a mocha. sent3: if something is not a depiction then the melatonin is not a kind of a depiction. sent4: there is something such that that it is a kind of a depiction and is a pawn does not hold. sent5: the melatonin is not a pawn and does clamor derailment if the Blackfoot is not bibless. sent6: the Blackfoot is not bibless if the resorcinol is non-argillaceous but it monopolizes Saudi. sent7: if the resorcinol is not a depiction the melatonin does not monopolize Saudi. sent8: the Blackfoot is not a mocha if the Saudi is not bibless. sent9: there exists something such that that it is both not bibless and a pawn does not hold. sent10: the melatonin is not a kind of a mocha. sent11: that the resorcinol is a depiction that is argillaceous is not correct if it is not a mocha. sent12: if the melatonin is not a depiction then that it is not a pawn and clamors derailment is false. sent13: there is something such that that it is scalic and does clamor nonpareil is not right. sent14: there exists something such that the fact that it is a kind of legato a depiction is wrong. sent15: if there is something such that that it is legato thing that is a kind of a depiction is incorrect the melatonin is not a kind of a depiction. sent16: if the melatonin does not monopolize Saudi the resorcinol does not pawn but it is bibless. ; $proof$ = 
void -> assump1: Let's assume that the resorcinol is non-argillaceous but it monopolizes Saudi.; sent6 & assump1 -> int1: the Blackfoot is not bibless.; int1 & sent5 -> int2: the melatonin is not a pawn but it clamors derailment.; sent14 & sent15 -> int3: the melatonin is not a kind of a depiction.; sent12 & int3 -> int4: that the melatonin does not pawn and does clamor derailment is not true.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the resorcinol is a kind of non-argillaceous thing that does monopolize Saudi is not right.; int6 -> int7: there is something such that that it is a kind of non-argillaceous thing that monopolizes Saudi is not true.; int7 & sent1 -> hypothesis; __DISPROVED__