the graniteware does not dope.
sent1: the Aertex does bar canvas. sent2: if the graniteware does verbify Fregatidae then it does bedew germanite. sent3: something is a Bannockburn. sent4: the T-junction does not bar canvas and does not verbify Fregatidae if something does bedew germanite. sent5: the moonflower is styleless and it does blossom if the T-junction does not bar canvas. sent6: that the graniteware does verbify Fregatidae and it blossoms is not true. sent7: something does bar canvas if it is styleless. sent8: the Aertex is cubital if there is something such that it is a Bannockburn. sent9: something that is a Celtic is surmountable. sent10: something that is a kind of a Leda is styleless. sent11: the bushtit blossoms. sent12: something does bedew germanite if that it does verbify Fregatidae is not incorrect. sent13: if the graniteware does verbify Fregatidae that the bushtit is a judge but it does not verbify Fregatidae does not hold. sent14: if the bushtit bars canvas then that the graniteware verbifies Fregatidae and it does blossom is wrong. sent15: if the fact that something verbifies winepress but it does not bar wittol does not hold then it does deglaze Christian. sent16: there is something such that it does bedew germanite. sent17: the fact that the graniteware does not verbify Fregatidae but it does blossom is not true if the bushtit does bar canvas. sent18: if the graniteware judges then it does bedew germanite. sent19: if the bushtit is a Leda then it is styleless. sent20: that the bushtit is a judge and it is a kind of a Leda is false. sent21: if that something does not verbify Fregatidae and does blossom is not correct it does bedew germanite. sent22: the Aertex is a Leda if it is cubital. sent23: if the psalmist is not a Bannockburn it is purposeless. sent24: if that something is a judge but not a Leda is false then it is styleless. sent25: the appellant bars canvas. sent26: something dopes if it bedews germanite. sent27: if the Aertex is a Leda then the fact that the bushtit is a kind of a judge and is a kind of a Leda is false. sent28: the brocket is not styleless if the moonflower is styleless and it blossoms. sent29: the fact that the bushtit is a judge but not a Leda is wrong if the Aertex is a kind of a Leda.
sent3 & sent8 -> int1: the Aertex is cubital.; int1 & sent22 -> int2: the Aertex is a Leda.; int2 & sent29 -> int3: that the bushtit does judge but it is not a Leda does not hold.; sent24 -> int4: the bushtit is styleless if the fact that it does judge and it is not a Leda is incorrect.; int3 & int4 -> int5: the bushtit is styleless.; sent7 -> int6: the bushtit does bar canvas if it is styleless.; int5 & int6 -> int7: the fact that the bushtit does bar canvas is not false.; int7 & sent17 -> int8: the fact that the graniteware does not verbify Fregatidae but it blossoms is not correct.; sent21 -> int9: the graniteware does bedew germanite if the fact that it does not verbify Fregatidae and it does blossom is false.; int8 & int9 -> int10: the graniteware bedews germanite.; sent26 -> int11: the graniteware does dope if the fact that it bedews germanite is right.; int10 & int11 -> hypothesis;
if that the marcel does verbify winepress but it does not bar wittol is false then the fact that it deglazes Christian is not wrong.
sent15 -> hypothesis;
$hypothesis$ = the graniteware does not dope. ; $context$ = sent1: the Aertex does bar canvas. sent2: if the graniteware does verbify Fregatidae then it does bedew germanite. sent3: something is a Bannockburn. sent4: the T-junction does not bar canvas and does not verbify Fregatidae if something does bedew germanite. sent5: the moonflower is styleless and it does blossom if the T-junction does not bar canvas. sent6: that the graniteware does verbify Fregatidae and it blossoms is not true. sent7: something does bar canvas if it is styleless. sent8: the Aertex is cubital if there is something such that it is a Bannockburn. sent9: something that is a Celtic is surmountable. sent10: something that is a kind of a Leda is styleless. sent11: the bushtit blossoms. sent12: something does bedew germanite if that it does verbify Fregatidae is not incorrect. sent13: if the graniteware does verbify Fregatidae that the bushtit is a judge but it does not verbify Fregatidae does not hold. sent14: if the bushtit bars canvas then that the graniteware verbifies Fregatidae and it does blossom is wrong. sent15: if the fact that something verbifies winepress but it does not bar wittol does not hold then it does deglaze Christian. sent16: there is something such that it does bedew germanite. sent17: the fact that the graniteware does not verbify Fregatidae but it does blossom is not true if the bushtit does bar canvas. sent18: if the graniteware judges then it does bedew germanite. sent19: if the bushtit is a Leda then it is styleless. sent20: that the bushtit is a judge and it is a kind of a Leda is false. sent21: if that something does not verbify Fregatidae and does blossom is not correct it does bedew germanite. sent22: the Aertex is a Leda if it is cubital. sent23: if the psalmist is not a Bannockburn it is purposeless. sent24: if that something is a judge but not a Leda is false then it is styleless. sent25: the appellant bars canvas. sent26: something dopes if it bedews germanite. sent27: if the Aertex is a Leda then the fact that the bushtit is a kind of a judge and is a kind of a Leda is false. sent28: the brocket is not styleless if the moonflower is styleless and it blossoms. sent29: the fact that the bushtit is a judge but not a Leda is wrong if the Aertex is a kind of a Leda. ; $proof$ = 
sent3 & sent8 -> int1: the Aertex is cubital.; int1 & sent22 -> int2: the Aertex is a Leda.; int2 & sent29 -> int3: that the bushtit does judge but it is not a Leda does not hold.; sent24 -> int4: the bushtit is styleless if the fact that it does judge and it is not a Leda is incorrect.; int3 & int4 -> int5: the bushtit is styleless.; sent7 -> int6: the bushtit does bar canvas if it is styleless.; int5 & int6 -> int7: the fact that the bushtit does bar canvas is not false.; int7 & sent17 -> int8: the fact that the graniteware does not verbify Fregatidae but it blossoms is not correct.; sent21 -> int9: the graniteware does bedew germanite if the fact that it does not verbify Fregatidae and it does blossom is false.; int8 & int9 -> int10: the graniteware bedews germanite.; sent26 -> int11: the graniteware does dope if the fact that it bedews germanite is right.; int10 & int11 -> hypothesis; __DISPROVED__