the splint does not patronage Pulex.
sent1: if that the device does poultice Septuagint and does not patronage mamo is false then that the splint does not patronage Pulex is not false. sent2: if that the darkroom is not gynecological hold the heretic is infallible. sent3: that the ceriman is scholastic is not false. sent4: that the darkroom is not a kind of a Burundian and it is not a vertical is not right if the ceriman is not diclinous. sent5: if the darkroom is a vertical it is not gynecological. sent6: if a phreatic thing is not non-scholastic it is not diclinous. sent7: something patronages Pulex and it is phreatic if it is not scholastic. sent8: if something is not gynecological and it is not a vertical then it is not diclinous. sent9: if the heretic does not patronage heretic then the device does not multiply Poitier. sent10: the ceriman is scholastic or it is a Burundian or both if the darkroom is not diclinous. sent11: if that something is not a kind of a Burundian and it is non-vertical is false it is not gynecological. sent12: if that the darkroom is not gynecological is correct the fact that the heretic does not patronage heretic and is infallible hold. sent13: the ceriman is phreatic. sent14: if something is not gynecological then the fact that it poultices Septuagint and it is not infallible is wrong. sent15: the darkroom is not gynecological and is not vertical if the heretic is not infallible. sent16: that the device does poultice Septuagint and patronages mamo is false if it does not multiply Poitier.
sent13 & sent3 -> int1: the ceriman is phreatic and it is scholastic.; sent6 -> int2: if the ceriman is phreatic and scholastic that it is not diclinous is correct.; int1 & int2 -> int3: that the ceriman is not diclinous is right.; int3 & sent4 -> int4: the fact that the darkroom is not a Burundian and not a vertical is incorrect.; sent11 -> int5: the fact that the darkroom is not gynecological if the fact that the darkroom is not a kind of a Burundian and is not vertical does not hold is not wrong.; int4 & int5 -> int6: the darkroom is not gynecological.; int6 & sent12 -> int7: the heretic does not patronage heretic but it is infallible.; int7 -> int8: the heretic does not patronage heretic.; int8 & sent9 -> int9: the device does not multiply Poitier.;
the splint does patronage Pulex.
sent7 -> int10: the splint does patronage Pulex and it is phreatic if it is not scholastic.; sent8 -> int11: the darkroom is not diclinous if it is not gynecological and it is not a kind of a vertical.;
$hypothesis$ = the splint does not patronage Pulex. ; $context$ = sent1: if that the device does poultice Septuagint and does not patronage mamo is false then that the splint does not patronage Pulex is not false. sent2: if that the darkroom is not gynecological hold the heretic is infallible. sent3: that the ceriman is scholastic is not false. sent4: that the darkroom is not a kind of a Burundian and it is not a vertical is not right if the ceriman is not diclinous. sent5: if the darkroom is a vertical it is not gynecological. sent6: if a phreatic thing is not non-scholastic it is not diclinous. sent7: something patronages Pulex and it is phreatic if it is not scholastic. sent8: if something is not gynecological and it is not a vertical then it is not diclinous. sent9: if the heretic does not patronage heretic then the device does not multiply Poitier. sent10: the ceriman is scholastic or it is a Burundian or both if the darkroom is not diclinous. sent11: if that something is not a kind of a Burundian and it is non-vertical is false it is not gynecological. sent12: if that the darkroom is not gynecological is correct the fact that the heretic does not patronage heretic and is infallible hold. sent13: the ceriman is phreatic. sent14: if something is not gynecological then the fact that it poultices Septuagint and it is not infallible is wrong. sent15: the darkroom is not gynecological and is not vertical if the heretic is not infallible. sent16: that the device does poultice Septuagint and patronages mamo is false if it does not multiply Poitier. ; $proof$ = 
sent13 & sent3 -> int1: the ceriman is phreatic and it is scholastic.; sent6 -> int2: if the ceriman is phreatic and scholastic that it is not diclinous is correct.; int1 & int2 -> int3: that the ceriman is not diclinous is right.; int3 & sent4 -> int4: the fact that the darkroom is not a Burundian and not a vertical is incorrect.; sent11 -> int5: the fact that the darkroom is not gynecological if the fact that the darkroom is not a kind of a Burundian and is not vertical does not hold is not wrong.; int4 & int5 -> int6: the darkroom is not gynecological.; int6 & sent12 -> int7: the heretic does not patronage heretic but it is infallible.; int7 -> int8: the heretic does not patronage heretic.; int8 & sent9 -> int9: the device does not multiply Poitier.; __UNKNOWN__