there is something such that if it is a steal then the fact that it is not nonexploratory and does not hue microtome is false.
sent1: if the microtome rusticates the fact that it is both not a Spartium and exploratory is wrong. sent2: the fact that the grit is not alimentative and is not a trend-setter is not correct if it does steal. sent3: there exists something such that if it is chordal that it is not a monocle and does not hue Smolensk is false. sent4: there exists something such that if it is austenitic then the fact that it does not harlequin Pearmain and is not a dump is not right. sent5: the grit is not nonexploratory and does not hue microtome if it does steal. sent6: the fact that the grit is not bacteriophagic and it does not harlequin rootstock is incorrect if it does hue microtome. sent7: if the grit is a cling the fact that it does not hue microtome and it is not pyroligneous is wrong. sent8: that the grit is a kind of nonexploratory thing that does not hue microtome is not right if it steals. sent9: there exists something such that if it is a steal then that it is a kind of nonexploratory thing that does not hue microtome does not hold. sent10: if the grit does steal that it is not nonexploratory and hues microtome is not correct. sent11: there exists something such that if that it hues Smolensk is correct then that it is both not a cling and not cyclonic is incorrect. sent12: there is something such that if it does hue farmyard the fact that it is a kind of non-cantonal thing that does not pass necklet is incorrect. sent13: if something is gloveless the fact that it is not a kind of a drudgery and it is not a throbbing does not hold. sent14: there is something such that if that it is not nonvolatile is not true then that it does not harlequin ruse and it does not hue Lorca is wrong. sent15: the fact that the grit is not nonexploratory and does not hue microtome is incorrect if it steals. sent16: there exists something such that if it does steal then it is non-nonexploratory thing that does not hue microtome. sent17: there exists something such that if it steals that it is exploratory thing that hues microtome does not hold. sent18: if the grit is nonexploratory the fact that it is not a kind of a township and it is not spastic is not right.
sent15 -> hypothesis;
there is something such that if it is gloveless the fact that it is not a drudgery and not a throbbing does not hold.
sent13 -> int1: if the remake is gloveless then the fact that it is not a drudgery and it is not a kind of a throbbing is incorrect.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is a steal then the fact that it is not nonexploratory and does not hue microtome is false. ; $context$ = sent1: if the microtome rusticates the fact that it is both not a Spartium and exploratory is wrong. sent2: the fact that the grit is not alimentative and is not a trend-setter is not correct if it does steal. sent3: there exists something such that if it is chordal that it is not a monocle and does not hue Smolensk is false. sent4: there exists something such that if it is austenitic then the fact that it does not harlequin Pearmain and is not a dump is not right. sent5: the grit is not nonexploratory and does not hue microtome if it does steal. sent6: the fact that the grit is not bacteriophagic and it does not harlequin rootstock is incorrect if it does hue microtome. sent7: if the grit is a cling the fact that it does not hue microtome and it is not pyroligneous is wrong. sent8: that the grit is a kind of nonexploratory thing that does not hue microtome is not right if it steals. sent9: there exists something such that if it is a steal then that it is a kind of nonexploratory thing that does not hue microtome does not hold. sent10: if the grit does steal that it is not nonexploratory and hues microtome is not correct. sent11: there exists something such that if that it hues Smolensk is correct then that it is both not a cling and not cyclonic is incorrect. sent12: there is something such that if it does hue farmyard the fact that it is a kind of non-cantonal thing that does not pass necklet is incorrect. sent13: if something is gloveless the fact that it is not a kind of a drudgery and it is not a throbbing does not hold. sent14: there is something such that if that it is not nonvolatile is not true then that it does not harlequin ruse and it does not hue Lorca is wrong. sent15: the fact that the grit is not nonexploratory and does not hue microtome is incorrect if it steals. sent16: there exists something such that if it does steal then it is non-nonexploratory thing that does not hue microtome. sent17: there exists something such that if it steals that it is exploratory thing that hues microtome does not hold. sent18: if the grit is nonexploratory the fact that it is not a kind of a township and it is not spastic is not right. ; $proof$ = 
sent15 -> hypothesis; __PROVED__