the quadruplicate does not manhandle Hershey.
sent1: the quadruplicate is a Schlesinger if there is something such that the fact that it does manhandle Hershey is not wrong. sent2: if the quadruplicate does not thin the fact that it is ateleiotic a Leonurus does not hold. sent3: if the fact that the chlorophyll is not thin and it does not tout is wrong then the quadruplicate is not thin. sent4: something is parasitic but it does not manhandle catalectic if it is not a Leonurus. sent5: there is something such that the fact that it latches quadruplicate is right. sent6: the chlorophyll scissors. sent7: the quadruplicate is appositional. sent8: if something latches quadruplicate it manhandles Hershey. sent9: the fact that something does manhandle Hershey and is not a Schlesinger does not hold if it is not spectrometric. sent10: the quadruplicate is a Schlesinger if there exists something such that it latches quadruplicate. sent11: something is a Schlesinger. sent12: if the fact that the chlorophyll scissors is right then that it does not thin and it is not a tout is false. sent13: the quadruplicate is a kind of a Schlesinger but it does not manhandle Hershey if there exists something such that that it does latch quadruplicate is true. sent14: the quadruplicate is a kind of a Schlesinger. sent15: if that something is ateleiotic a Leonurus does not hold it is not a kind of a Leonurus. sent16: something does not latch quadruplicate if the fact that it manhandles Hershey and is not a Schlesinger is not true. sent17: if something shells then the Lithane is both a Schlesinger and not traditional.
sent5 & sent13 -> int1: the quadruplicate is a Schlesinger but it does not manhandle Hershey.; int1 -> hypothesis;
the forefather does not latch quadruplicate.
sent16 -> int2: if the fact that the forefather manhandles Hershey and is not a kind of a Schlesinger is not true then it does not latch quadruplicate.; sent9 -> int3: if the forefather is not spectrometric then that it does manhandle Hershey and is not a Schlesinger does not hold.; sent4 -> int4: if the quadruplicate is not a kind of a Leonurus it is parasitic and does not manhandle catalectic.; sent15 -> int5: if the fact that the quadruplicate is not non-ateleiotic but a Leonurus does not hold then it is not a Leonurus.; sent12 & sent6 -> int6: the fact that that the chlorophyll is not thin and not a tout is true is not correct.; sent3 & int6 -> int7: the quadruplicate is not thin.; sent2 & int7 -> int8: that the quadruplicate is ateleiotic thing that is a Leonurus is false.; int5 & int8 -> int9: the quadruplicate is not a Leonurus.; int4 & int9 -> int10: the quadruplicate is parasitic and does not manhandle catalectic.; int10 -> int11: something is a kind of parasitic thing that does not manhandle catalectic.;
$hypothesis$ = the quadruplicate does not manhandle Hershey. ; $context$ = sent1: the quadruplicate is a Schlesinger if there is something such that the fact that it does manhandle Hershey is not wrong. sent2: if the quadruplicate does not thin the fact that it is ateleiotic a Leonurus does not hold. sent3: if the fact that the chlorophyll is not thin and it does not tout is wrong then the quadruplicate is not thin. sent4: something is parasitic but it does not manhandle catalectic if it is not a Leonurus. sent5: there is something such that the fact that it latches quadruplicate is right. sent6: the chlorophyll scissors. sent7: the quadruplicate is appositional. sent8: if something latches quadruplicate it manhandles Hershey. sent9: the fact that something does manhandle Hershey and is not a Schlesinger does not hold if it is not spectrometric. sent10: the quadruplicate is a Schlesinger if there exists something such that it latches quadruplicate. sent11: something is a Schlesinger. sent12: if the fact that the chlorophyll scissors is right then that it does not thin and it is not a tout is false. sent13: the quadruplicate is a kind of a Schlesinger but it does not manhandle Hershey if there exists something such that that it does latch quadruplicate is true. sent14: the quadruplicate is a kind of a Schlesinger. sent15: if that something is ateleiotic a Leonurus does not hold it is not a kind of a Leonurus. sent16: something does not latch quadruplicate if the fact that it manhandles Hershey and is not a Schlesinger is not true. sent17: if something shells then the Lithane is both a Schlesinger and not traditional. ; $proof$ = 
sent5 & sent13 -> int1: the quadruplicate is a Schlesinger but it does not manhandle Hershey.; int1 -> hypothesis; __PROVED__