the acervulus is not a kind of a declension and does not ramp Wycliffe if the pleurocarp is not unprotective.
sent1: the acervulus is a kind of a pavilion if the mercury is not a kind of a sertularian but it is a Seleucus. sent2: a non-unprotective thing that is not eligible is not a pavilion. sent3: the acervulus is a kind of a Pythius. sent4: if something is not a kind of a pavilion then it is frivolous and is a declension. sent5: if the pleurocarp is unprotective then the acervulus is not a declension and it does not ramp Wycliffe. sent6: everything is not a prefecture. sent7: the pleurocarp is unprotective if the kawaka is not eligible. sent8: if that the acervulus is a declension and is a pavilion is right the kawaka is not eligible. sent9: the adducer is inexpressible. sent10: if the mercury is frivolous it is not a sertularian and it is not a kind of a Seleucus. sent11: the mercury is not a kind of a Seleucus. sent12: the acervulus is not a prefecture. sent13: if the mercury does not ramp Wycliffe the periclase is a kind of protective thing that is not eligible. sent14: everything is not a prefecture and it does not ramp Wycliffe. sent15: that the mercury does not ramp Wycliffe if the fact that that the acervulus does not ramp Wycliffe and is not a kind of a prefecture hold is not correct is true. sent16: the mercury is not a Seleucus if it is frivolous. sent17: if the mercury is not a sertularian and is not a kind of a Seleucus the acervulus is a kind of a pavilion.
void -> assump1: Let's assume that the acervulus is a declension.; void -> assump2: Let's assume that the pleurocarp is not unprotective.; sent14 -> int1: the acervulus is not a kind of a prefecture and does not ramp Wycliffe.; int1 -> int2: the fact that the acervulus does not ramp Wycliffe is correct.;
the periclase is a kind of a declension.
sent4 -> int3: the periclase is frivolous and a declension if it is not a pavilion.; sent2 -> int4: if the periclase is both not unprotective and not eligible the fact that it is not a kind of a pavilion hold.;
$hypothesis$ = the acervulus is not a kind of a declension and does not ramp Wycliffe if the pleurocarp is not unprotective. ; $context$ = sent1: the acervulus is a kind of a pavilion if the mercury is not a kind of a sertularian but it is a Seleucus. sent2: a non-unprotective thing that is not eligible is not a pavilion. sent3: the acervulus is a kind of a Pythius. sent4: if something is not a kind of a pavilion then it is frivolous and is a declension. sent5: if the pleurocarp is unprotective then the acervulus is not a declension and it does not ramp Wycliffe. sent6: everything is not a prefecture. sent7: the pleurocarp is unprotective if the kawaka is not eligible. sent8: if that the acervulus is a declension and is a pavilion is right the kawaka is not eligible. sent9: the adducer is inexpressible. sent10: if the mercury is frivolous it is not a sertularian and it is not a kind of a Seleucus. sent11: the mercury is not a kind of a Seleucus. sent12: the acervulus is not a prefecture. sent13: if the mercury does not ramp Wycliffe the periclase is a kind of protective thing that is not eligible. sent14: everything is not a prefecture and it does not ramp Wycliffe. sent15: that the mercury does not ramp Wycliffe if the fact that that the acervulus does not ramp Wycliffe and is not a kind of a prefecture hold is not correct is true. sent16: the mercury is not a Seleucus if it is frivolous. sent17: if the mercury is not a sertularian and is not a kind of a Seleucus the acervulus is a kind of a pavilion. ; $proof$ = 
void -> assump1: Let's assume that the acervulus is a declension.; void -> assump2: Let's assume that the pleurocarp is not unprotective.; sent14 -> int1: the acervulus is not a kind of a prefecture and does not ramp Wycliffe.; int1 -> int2: the fact that the acervulus does not ramp Wycliffe is correct.; __UNKNOWN__