the backbench is a Titanosaurus and it is a sketch.
sent1: the polymath is not a stay if it is a kind of a change-up. sent2: the heather is anticyclonic if there is something such that it is a kind of a sketch that functions Dipsacus. sent3: there exists something such that that it does not dive acrosome and it is a kind of a sufferance is not right. sent4: something is a hurrah and is a cimetidine. sent5: the backbench is a sketch. sent6: something does not function Mister if it either is a kind of a Bahamian or does not function Mister or both. sent7: if there is something such that that it does not dive acrosome and is a sufferance is wrong the heather is womanly. sent8: the polymath is a change-up. sent9: that the longan is non-orthodox thing that is shelflike is not false. sent10: the bacteroid is not a cimetidine if the fact that the Guernsey is a kind of a hurrah and is not a kind of a scrambled is not true. sent11: the mockernut is a Bahamian if the polymath does not stay. sent12: that something is a kind of a Titanosaurus that does sketch is not true if it is not womanly. sent13: if the bacteroid is not a sufferance and it does not dive acrosome that the cymbid does not confide is correct. sent14: if something is womanly then that it is anticyclonic and it is not a myelocyte is not correct. sent15: something confides. sent16: if that the heather is anticyclonic and is not a myelocyte is not true then it does not function Dipsacus. sent17: if there exists something such that it does not function Dipsacus and it does confide then the backbench is a kind of a Titanosaurus. sent18: if something does hurrah and it is a cimetidine the heather confides. sent19: something is not a sufferance and does not dive acrosome if it is not a cimetidine. sent20: there exists something such that it is a kind of a myelocyte that is a kind of a sketch.
sent14 -> int1: the fact that the heather is anticyclonic but not a myelocyte is wrong if that it is womanly is true.; sent3 & sent7 -> int2: the heather is womanly.; int1 & int2 -> int3: the fact that the heather is anticyclonic and is not a kind of a myelocyte is not true.; int3 & sent16 -> int4: the heather does not function Dipsacus.; sent4 & sent18 -> int5: the heather does confide.; int4 & int5 -> int6: the heather does not function Dipsacus but it does confide.; int6 -> int7: there exists something such that it does not function Dipsacus and does confide.; int7 & sent17 -> int8: the backbench is a kind of a Titanosaurus.; int8 & sent5 -> hypothesis;
the fact that the backbench is a Titanosaurus and it is a sketch does not hold.
sent12 -> int9: if the backbench is not womanly then that it is both a Titanosaurus and a sketch is false.; sent19 -> int10: the bacteroid is not a sufferance and it does not dive acrosome if that it is a cimetidine is not true.; sent6 -> int11: that the mockernut does not function Mister if the mockernut is a kind of a Bahamian and/or it does not function Mister is true.; sent1 & sent8 -> int12: the polymath is not a stay.; sent11 & int12 -> int13: the mockernut is a kind of a Bahamian.; int13 -> int14: the mockernut is Bahamian and/or it does not function Mister.; int11 & int14 -> int15: the mockernut does not function Mister.; int15 -> int16: there exists something such that it does not function Mister.;
$hypothesis$ = the backbench is a Titanosaurus and it is a sketch. ; $context$ = sent1: the polymath is not a stay if it is a kind of a change-up. sent2: the heather is anticyclonic if there is something such that it is a kind of a sketch that functions Dipsacus. sent3: there exists something such that that it does not dive acrosome and it is a kind of a sufferance is not right. sent4: something is a hurrah and is a cimetidine. sent5: the backbench is a sketch. sent6: something does not function Mister if it either is a kind of a Bahamian or does not function Mister or both. sent7: if there is something such that that it does not dive acrosome and is a sufferance is wrong the heather is womanly. sent8: the polymath is a change-up. sent9: that the longan is non-orthodox thing that is shelflike is not false. sent10: the bacteroid is not a cimetidine if the fact that the Guernsey is a kind of a hurrah and is not a kind of a scrambled is not true. sent11: the mockernut is a Bahamian if the polymath does not stay. sent12: that something is a kind of a Titanosaurus that does sketch is not true if it is not womanly. sent13: if the bacteroid is not a sufferance and it does not dive acrosome that the cymbid does not confide is correct. sent14: if something is womanly then that it is anticyclonic and it is not a myelocyte is not correct. sent15: something confides. sent16: if that the heather is anticyclonic and is not a myelocyte is not true then it does not function Dipsacus. sent17: if there exists something such that it does not function Dipsacus and it does confide then the backbench is a kind of a Titanosaurus. sent18: if something does hurrah and it is a cimetidine the heather confides. sent19: something is not a sufferance and does not dive acrosome if it is not a cimetidine. sent20: there exists something such that it is a kind of a myelocyte that is a kind of a sketch. ; $proof$ = 
sent14 -> int1: the fact that the heather is anticyclonic but not a myelocyte is wrong if that it is womanly is true.; sent3 & sent7 -> int2: the heather is womanly.; int1 & int2 -> int3: the fact that the heather is anticyclonic and is not a kind of a myelocyte is not true.; int3 & sent16 -> int4: the heather does not function Dipsacus.; sent4 & sent18 -> int5: the heather does confide.; int4 & int5 -> int6: the heather does not function Dipsacus but it does confide.; int6 -> int7: there exists something such that it does not function Dipsacus and does confide.; int7 & sent17 -> int8: the backbench is a kind of a Titanosaurus.; int8 & sent5 -> hypothesis; __PROVED__