either the piperin does not number monotone or it is not peaty or both.
sent1: the piperin does not number monotone and/or is peaty. sent2: if there is something such that it is peaty that the piperin is not resinlike is not false. sent3: the piperin is not peaty or is not intrastate or both. sent4: the walk-on is not peaty. sent5: the canella does not number assayer or it does not pool Harlow or both. sent6: the piperin does not number monotone if there is something such that it does marble Oahu. sent7: the cero is a sourdine if the ilium is a succulent. sent8: that the ilium is unpaintable and it is a succulent is not false. sent9: the piperin is not a priest. sent10: if the cero is not a charged and it is not a diaphoretic then it salvages. sent11: the piperin does not marble Oahu. sent12: the piperin does not palpebrate and/or it does not number monotone. sent13: the piperin numbers monotone and/or it is not peaty. sent14: the piperin does not number monotone and/or does not marble Kirchner. sent15: if something that is a sourdine does salvage then it is not uninfluential. sent16: the cero is not a angelus. sent17: the cero is not a charged and is not diaphoretic if it is not a angelus. sent18: there is something such that it does marble Oahu. sent19: there is something such that it does number monotone.
sent18 & sent6 -> int1: the piperin does not number monotone.; int1 -> hypothesis;
that the piperin does not number monotone and/or is not peaty is not true.
sent15 -> int2: if the cero is a sourdine and it salvages it is not uninfluential.; sent8 -> int3: the ilium is a succulent.; sent7 & int3 -> int4: the cero is a sourdine.; sent17 & sent16 -> int5: the cero is not a charged and not a diaphoretic.; sent10 & int5 -> int6: the cero is a salvage.; int4 & int6 -> int7: the cero is a sourdine and it is a salvage.; int2 & int7 -> int8: the cero is not uninfluential.; int8 -> int9: there exists something such that it is not uninfluential.;
$hypothesis$ = either the piperin does not number monotone or it is not peaty or both. ; $context$ = sent1: the piperin does not number monotone and/or is peaty. sent2: if there is something such that it is peaty that the piperin is not resinlike is not false. sent3: the piperin is not peaty or is not intrastate or both. sent4: the walk-on is not peaty. sent5: the canella does not number assayer or it does not pool Harlow or both. sent6: the piperin does not number monotone if there is something such that it does marble Oahu. sent7: the cero is a sourdine if the ilium is a succulent. sent8: that the ilium is unpaintable and it is a succulent is not false. sent9: the piperin is not a priest. sent10: if the cero is not a charged and it is not a diaphoretic then it salvages. sent11: the piperin does not marble Oahu. sent12: the piperin does not palpebrate and/or it does not number monotone. sent13: the piperin numbers monotone and/or it is not peaty. sent14: the piperin does not number monotone and/or does not marble Kirchner. sent15: if something that is a sourdine does salvage then it is not uninfluential. sent16: the cero is not a angelus. sent17: the cero is not a charged and is not diaphoretic if it is not a angelus. sent18: there is something such that it does marble Oahu. sent19: there is something such that it does number monotone. ; $proof$ = 
sent18 & sent6 -> int1: the piperin does not number monotone.; int1 -> hypothesis; __PROVED__