the mill-girl is a TLC.
sent1: if the PTO is not idiographic the positron is not a sucralfate. sent2: if the PTO is a spleenwort then that it is not Andean and is not a kind of an assessor does not hold. sent3: if the PTO is a kind of an assessor it is not idiographic. sent4: the mill-girl is not a TLC if either the positron is a kind of a TLC or it is idiographic or both. sent5: that the chantry is not a papovavirus and it is not idiographic is not correct. sent6: there exists something such that that it is not a spleenwort and it does unionize is wrong. sent7: that the mill-girl is not a kind of a sugariness but it is a TLC is not true. sent8: the chantry does hash electroshock if the positron is not a kind of a sucralfate but it is a technician. sent9: if that something is not Andean and it is not an assessor is not true it is not idiographic. sent10: the repletion is a TLC and it is a kind of a sucralfate if the positron is not idiographic. sent11: that the mill-girl does not unionize is not false if the fact that the Solomon's-seal does hash electroshock and is not a sugariness is not right. sent12: the positron does hash electroshock. sent13: something is a kind of a TLC if it does not unionize. sent14: if the PTO is not idiographic then the positron is not a kind of a sucralfate but it is a technician. sent15: if something is not a sugariness then it hashes electroshock. sent16: the decrease is both not Andean and predictable. sent17: the fact that the Solomon's-seal hashes electroshock and is not a sugariness is incorrect if the chantry hashes electroshock. sent18: something is not idiographic if it is an assessor. sent19: the chantry hashes electroshock if the positron is a sucralfate and a technician.
sent9 -> int1: the PTO is not idiographic if the fact that it is not Andean and is not an assessor is false.; sent13 -> int2: if the mill-girl does not unionize then the fact that it is a kind of a TLC is not false.;
the repletion is a TLC.
$hypothesis$ = the mill-girl is a TLC. ; $context$ = sent1: if the PTO is not idiographic the positron is not a sucralfate. sent2: if the PTO is a spleenwort then that it is not Andean and is not a kind of an assessor does not hold. sent3: if the PTO is a kind of an assessor it is not idiographic. sent4: the mill-girl is not a TLC if either the positron is a kind of a TLC or it is idiographic or both. sent5: that the chantry is not a papovavirus and it is not idiographic is not correct. sent6: there exists something such that that it is not a spleenwort and it does unionize is wrong. sent7: that the mill-girl is not a kind of a sugariness but it is a TLC is not true. sent8: the chantry does hash electroshock if the positron is not a kind of a sucralfate but it is a technician. sent9: if that something is not Andean and it is not an assessor is not true it is not idiographic. sent10: the repletion is a TLC and it is a kind of a sucralfate if the positron is not idiographic. sent11: that the mill-girl does not unionize is not false if the fact that the Solomon's-seal does hash electroshock and is not a sugariness is not right. sent12: the positron does hash electroshock. sent13: something is a kind of a TLC if it does not unionize. sent14: if the PTO is not idiographic then the positron is not a kind of a sucralfate but it is a technician. sent15: if something is not a sugariness then it hashes electroshock. sent16: the decrease is both not Andean and predictable. sent17: the fact that the Solomon's-seal hashes electroshock and is not a sugariness is incorrect if the chantry hashes electroshock. sent18: something is not idiographic if it is an assessor. sent19: the chantry hashes electroshock if the positron is a sucralfate and a technician. ; $proof$ = 
sent9 -> int1: the PTO is not idiographic if the fact that it is not Andean and is not an assessor is false.; sent13 -> int2: if the mill-girl does not unionize then the fact that it is a kind of a TLC is not false.; __UNKNOWN__