the stickler is thoughtless.
sent1: the bell is not a kind of an eggnog if the fireman is a kind of an eggnog and it staggers Yuan. sent2: the stickler is anesthetic if it batches Maclura. sent3: the squaw staggers photogravure and/or it bars immorality. sent4: if the city is aplitic and it is a kind of a Kyd then it is not toeless. sent5: the fireman is an eggnog if that the squaw does stagger photogravure hold. sent6: the stickler is not thoughtless if it is a Mitra and it staggers particularization. sent7: the stickler is a kind of dramatic thing that is aplitic. sent8: The Maclura does batch stickler. sent9: if something is an anesthetic and it is dramatic it is not thoughtless. sent10: the stickler is aplitic. sent11: the stickler batches Maclura and is thoughtless if that the bailiff is not an anesthetic hold. sent12: the fireman is an eggnog if the squaw bars immorality. sent13: if that the Tidewater does stagger Yuan but it does not stagger Soutine is wrong the fireman does stagger Yuan. sent14: the plastron is not aplitic if the bell is not a kind of an eggnog. sent15: the stickler does batch Maclura. sent16: that the Shaker is thoughtless is right.
sent2 & sent15 -> int1: that the stickler is not an anesthetic is not right.; sent7 -> int2: the stickler is dramatic.; int1 & int2 -> int3: the stickler is an anesthetic and it is dramatic.; sent9 -> int4: if the stickler is anesthetic and dramatic it is not thoughtless.; int3 & int4 -> hypothesis;
the stickler is thoughtless.
sent3 & sent5 & sent12 -> int5: the fireman is a kind of an eggnog.;
$hypothesis$ = the stickler is thoughtless. ; $context$ = sent1: the bell is not a kind of an eggnog if the fireman is a kind of an eggnog and it staggers Yuan. sent2: the stickler is anesthetic if it batches Maclura. sent3: the squaw staggers photogravure and/or it bars immorality. sent4: if the city is aplitic and it is a kind of a Kyd then it is not toeless. sent5: the fireman is an eggnog if that the squaw does stagger photogravure hold. sent6: the stickler is not thoughtless if it is a Mitra and it staggers particularization. sent7: the stickler is a kind of dramatic thing that is aplitic. sent8: The Maclura does batch stickler. sent9: if something is an anesthetic and it is dramatic it is not thoughtless. sent10: the stickler is aplitic. sent11: the stickler batches Maclura and is thoughtless if that the bailiff is not an anesthetic hold. sent12: the fireman is an eggnog if the squaw bars immorality. sent13: if that the Tidewater does stagger Yuan but it does not stagger Soutine is wrong the fireman does stagger Yuan. sent14: the plastron is not aplitic if the bell is not a kind of an eggnog. sent15: the stickler does batch Maclura. sent16: that the Shaker is thoughtless is right. ; $proof$ = 
sent2 & sent15 -> int1: that the stickler is not an anesthetic is not right.; sent7 -> int2: the stickler is dramatic.; int1 & int2 -> int3: the stickler is an anesthetic and it is dramatic.; sent9 -> int4: if the stickler is anesthetic and dramatic it is not thoughtless.; int3 & int4 -> hypothesis; __DISPROVED__