the escutcheon does batch surtax or it titrates or both.
sent1: the malcontent does titrate. sent2: the malcontent is a sheriff if there exists something such that that it does batch alfalfa and it does not bilge is incorrect. sent3: if the framer is a flavorer the fact that it does batch alfalfa and is not a kind of a bilge is not true. sent4: the escutcheon does not titrate if the battledore does not titrate. sent5: if the malcontent is a Babesiidae the battledore does not titrate. sent6: that the escutcheon either does batch surtax or titrates or both is not right if the battledore does not titrates. sent7: if there is something such that it does not batch alfalfa then the malcontent is a sheriff. sent8: the battledore does not titrate if the malcontent is a sheriff and/or is a Babesiidae. sent9: the framer is a flavorer. sent10: there is something such that the fact that it batches alfalfa and it is a bilge is wrong. sent11: the battledore is a Trigonella. sent12: the battledore is a kind of a luminary. sent13: that if there exists something such that that it titrates and it does not batch surtax is wrong the escutcheon does batch alfalfa is not false.
sent3 & sent9 -> int1: that the framer does batch alfalfa but it is not a bilge is wrong.; int1 -> int2: there is something such that the fact that it does batch alfalfa and it is not a bilge is false.; int2 & sent2 -> int3: the malcontent is a sheriff.; int3 -> int4: either the malcontent is a sheriff or it is a kind of a Babesiidae or both.; int4 & sent8 -> int5: the fact that the battledore does not titrate is true.; int5 & sent6 -> hypothesis;
the escutcheon does batch surtax and/or titrates.
sent12 & sent11 -> int6: the battledore is a luminary and is a Trigonella.; int6 -> int7: something is both a luminary and a Trigonella.;
$hypothesis$ = the escutcheon does batch surtax or it titrates or both. ; $context$ = sent1: the malcontent does titrate. sent2: the malcontent is a sheriff if there exists something such that that it does batch alfalfa and it does not bilge is incorrect. sent3: if the framer is a flavorer the fact that it does batch alfalfa and is not a kind of a bilge is not true. sent4: the escutcheon does not titrate if the battledore does not titrate. sent5: if the malcontent is a Babesiidae the battledore does not titrate. sent6: that the escutcheon either does batch surtax or titrates or both is not right if the battledore does not titrates. sent7: if there is something such that it does not batch alfalfa then the malcontent is a sheriff. sent8: the battledore does not titrate if the malcontent is a sheriff and/or is a Babesiidae. sent9: the framer is a flavorer. sent10: there is something such that the fact that it batches alfalfa and it is a bilge is wrong. sent11: the battledore is a Trigonella. sent12: the battledore is a kind of a luminary. sent13: that if there exists something such that that it titrates and it does not batch surtax is wrong the escutcheon does batch alfalfa is not false. ; $proof$ = 
sent3 & sent9 -> int1: that the framer does batch alfalfa but it is not a bilge is wrong.; int1 -> int2: there is something such that the fact that it does batch alfalfa and it is not a bilge is false.; int2 & sent2 -> int3: the malcontent is a sheriff.; int3 -> int4: either the malcontent is a sheriff or it is a kind of a Babesiidae or both.; int4 & sent8 -> int5: the fact that the battledore does not titrate is true.; int5 & sent6 -> hypothesis; __DISPROVED__