that if the endoparasite is not nonfunctional the polls is not a kind of a on-license and is obstetric is true.
sent1: the twice-pinnate is not non-obstetric if the polls is a on-license. sent2: the polls is a on-license and it is obstetric if the twice-pinnate is a on-license. sent3: if the polls is not obstetric then the denticle is a kind of a seat but it is not mandibular. sent4: the ladder is a on-license and not alchemistic. sent5: that the polls is alchemistic hold. sent6: the polls is obstetric. sent7: the ladder is a seat. sent8: the polls is sincere. sent9: the twice-pinnate is a on-license if the denticle does seat. sent10: if the endoparasite is a on-license then the twice-pinnate is not nonfunctional but it is not non-obstetric. sent11: the ladder is not a on-license but it is obstetric if the polls is mandibular. sent12: the ladder is mandibular thing that is not alchemistic if the endoparasite is not nonfunctional. sent13: the stigmata expels and does not immortalize assembly. sent14: the ladder is obstetric. sent15: if the ladder is mandibular the fact that the denticle seats is true. sent16: the polls is not a seat but it is obstetric if the denticle does seat. sent17: the polls is a on-license and it is obstetric. sent18: if the endoparasite is not obstetric then the polls is nonfunctional but it is not a on-license. sent19: if the twice-pinnate is obstetric the polls is a kind of a on-license.
void -> assump1: Let's assume that the endoparasite is not nonfunctional.; sent12 & assump1 -> int1: the ladder is mandibular and is not alchemistic.; int1 -> int2: the ladder is mandibular.; sent15 & int2 -> int3: the denticle is a seat.; sent9 & int3 -> int4: that the twice-pinnate is a on-license is right.;
$hypothesis$ = that if the endoparasite is not nonfunctional the polls is not a kind of a on-license and is obstetric is true. ; $context$ = sent1: the twice-pinnate is not non-obstetric if the polls is a on-license. sent2: the polls is a on-license and it is obstetric if the twice-pinnate is a on-license. sent3: if the polls is not obstetric then the denticle is a kind of a seat but it is not mandibular. sent4: the ladder is a on-license and not alchemistic. sent5: that the polls is alchemistic hold. sent6: the polls is obstetric. sent7: the ladder is a seat. sent8: the polls is sincere. sent9: the twice-pinnate is a on-license if the denticle does seat. sent10: if the endoparasite is a on-license then the twice-pinnate is not nonfunctional but it is not non-obstetric. sent11: the ladder is not a on-license but it is obstetric if the polls is mandibular. sent12: the ladder is mandibular thing that is not alchemistic if the endoparasite is not nonfunctional. sent13: the stigmata expels and does not immortalize assembly. sent14: the ladder is obstetric. sent15: if the ladder is mandibular the fact that the denticle seats is true. sent16: the polls is not a seat but it is obstetric if the denticle does seat. sent17: the polls is a on-license and it is obstetric. sent18: if the endoparasite is not obstetric then the polls is nonfunctional but it is not a on-license. sent19: if the twice-pinnate is obstetric the polls is a kind of a on-license. ; $proof$ = 
void -> assump1: Let's assume that the endoparasite is not nonfunctional.; sent12 & assump1 -> int1: the ladder is mandibular and is not alchemistic.; int1 -> int2: the ladder is mandibular.; sent15 & int2 -> int3: the denticle is a seat.; sent9 & int3 -> int4: that the twice-pinnate is a on-license is right.; __UNKNOWN__