the Doctor does not lurch dealings.
sent1: the Fossa does carol Oleandra if something programs Fossa but it is not robotic. sent2: that if the fact that the binger does not carol Oleandra is correct that the planthopper does not lurch thief and is a Triglochin is not right hold. sent3: that the binger does carol Oleandra and is off-line is not right if the fact that the Doctor is not spiritless is correct. sent4: the planthopper is not spiritless if either something is not spiritless or it is tabular or both. sent5: if something that is not spiritless is not off-line then it lurches dealings. sent6: if that the pharmacy does not carol Oleandra but it is off-line is wrong then the binger does carol Oleandra. sent7: if the Doctor is a proficiency then it is not spiritless and/or is tabular. sent8: the Doctor is a proficiency. sent9: if that the planthopper does not lurch thief and is a Triglochin does not hold the cunnilingus does not carol legend. sent10: that if the fact that the pharmacy is monoecious is not wrong the Doctor is both not spiritless and non-off-line is not false. sent11: if the fact that something does not carol Oleandra and does lurch dealings does not hold then it does not lurch dealings. sent12: the binger does not carol Oleandra. sent13: the Cardigan carols legend. sent14: The Oleandra does not carol binger. sent15: if the planthopper is not spiritless the binger carols legend and it is monoecious. sent16: the pharmacy is monoecious if the cunnilingus does not carol legend. sent17: there is something such that it does program Fossa and is not robotic.
sent2 & sent12 -> int1: that the planthopper does not lurch thief and is a kind of a Triglochin is not right.; int1 & sent9 -> int2: the cunnilingus does not carol legend.; int2 & sent16 -> int3: the pharmacy is monoecious.; int3 & sent10 -> int4: the Doctor is both not spiritless and not off-line.; sent5 -> int5: if the Doctor is not spiritless and is not off-line then it does lurch dealings.; int4 & int5 -> hypothesis;
the Doctor does not lurch dealings.
sent11 -> int6: if the fact that the Doctor does not carol Oleandra but it lurches dealings does not hold then it does not lurches dealings.;
$hypothesis$ = the Doctor does not lurch dealings. ; $context$ = sent1: the Fossa does carol Oleandra if something programs Fossa but it is not robotic. sent2: that if the fact that the binger does not carol Oleandra is correct that the planthopper does not lurch thief and is a Triglochin is not right hold. sent3: that the binger does carol Oleandra and is off-line is not right if the fact that the Doctor is not spiritless is correct. sent4: the planthopper is not spiritless if either something is not spiritless or it is tabular or both. sent5: if something that is not spiritless is not off-line then it lurches dealings. sent6: if that the pharmacy does not carol Oleandra but it is off-line is wrong then the binger does carol Oleandra. sent7: if the Doctor is a proficiency then it is not spiritless and/or is tabular. sent8: the Doctor is a proficiency. sent9: if that the planthopper does not lurch thief and is a Triglochin does not hold the cunnilingus does not carol legend. sent10: that if the fact that the pharmacy is monoecious is not wrong the Doctor is both not spiritless and non-off-line is not false. sent11: if the fact that something does not carol Oleandra and does lurch dealings does not hold then it does not lurch dealings. sent12: the binger does not carol Oleandra. sent13: the Cardigan carols legend. sent14: The Oleandra does not carol binger. sent15: if the planthopper is not spiritless the binger carols legend and it is monoecious. sent16: the pharmacy is monoecious if the cunnilingus does not carol legend. sent17: there is something such that it does program Fossa and is not robotic. ; $proof$ = 
sent2 & sent12 -> int1: that the planthopper does not lurch thief and is a kind of a Triglochin is not right.; int1 & sent9 -> int2: the cunnilingus does not carol legend.; int2 & sent16 -> int3: the pharmacy is monoecious.; int3 & sent10 -> int4: the Doctor is both not spiritless and not off-line.; sent5 -> int5: if the Doctor is not spiritless and is not off-line then it does lurch dealings.; int4 & int5 -> hypothesis; __DISPROVED__