the mastaba is both non-juicy and three-wheel.
sent1: if there exists something such that it does furrow then the quickset is tetanic and/or it is a furrow. sent2: the fact that the Meridian is incomprehensible is not wrong if it trams. sent3: the fact that something does not furrow but it is incomprehensible is wrong if it is unfit. sent4: the flipper is unfit if the fact that it is not unfit and it is not a kind of a gratitude is false. sent5: that the Meridian does tram and it is a furrow is right. sent6: that the delphinium is not unfit and it is not a gratitude does not hold if it is tetanic. sent7: if the Meridian is not comprehensible the delphinium is tetanic. sent8: if that something is a kind of a furrow is not false it trams. sent9: if that the delphinium is not unfit and it is not a gratitude does not hold then it is three-wheel. sent10: if the delphinium is three-wheel the mastaba is not juicy but it is three-wheel. sent11: the fact that the flipper is not unfit and is not a gratitude is incorrect. sent12: the Meridian is not three-wheel if the delphinium trams. sent13: if the fact that the flipper is both not a furrow and incomprehensible is not true then the scoffer is a furrow.
sent5 -> int1: the fact that the Meridian does not tram is not right.; int1 & sent2 -> int2: that the Meridian is not comprehensible is correct.; int2 & sent7 -> int3: the delphinium is tetanic.; int3 & sent6 -> int4: that the delphinium is not unfit and it is not a gratitude does not hold.; int4 & sent9 -> int5: the delphinium is three-wheel.; int5 & sent10 -> hypothesis;
that the mastaba is not juicy but it is three-wheel is incorrect.
sent8 -> int6: the delphinium does tram if it is a furrow.; sent3 -> int7: if the flipper is unfit that it is not a furrow and it is incomprehensible does not hold.; sent4 & sent11 -> int8: the fact that the flipper is unfit is not incorrect.; int7 & int8 -> int9: the fact that the flipper is both not a furrow and incomprehensible is not right.; sent13 & int9 -> int10: the scoffer furrows.; int10 -> int11: there is something such that it furrows.; int11 & sent1 -> int12: the quickset is tetanic and/or it is a furrow.;
$hypothesis$ = the mastaba is both non-juicy and three-wheel. ; $context$ = sent1: if there exists something such that it does furrow then the quickset is tetanic and/or it is a furrow. sent2: the fact that the Meridian is incomprehensible is not wrong if it trams. sent3: the fact that something does not furrow but it is incomprehensible is wrong if it is unfit. sent4: the flipper is unfit if the fact that it is not unfit and it is not a kind of a gratitude is false. sent5: that the Meridian does tram and it is a furrow is right. sent6: that the delphinium is not unfit and it is not a gratitude does not hold if it is tetanic. sent7: if the Meridian is not comprehensible the delphinium is tetanic. sent8: if that something is a kind of a furrow is not false it trams. sent9: if that the delphinium is not unfit and it is not a gratitude does not hold then it is three-wheel. sent10: if the delphinium is three-wheel the mastaba is not juicy but it is three-wheel. sent11: the fact that the flipper is not unfit and is not a gratitude is incorrect. sent12: the Meridian is not three-wheel if the delphinium trams. sent13: if the fact that the flipper is both not a furrow and incomprehensible is not true then the scoffer is a furrow. ; $proof$ = 
sent5 -> int1: the fact that the Meridian does not tram is not right.; int1 & sent2 -> int2: that the Meridian is not comprehensible is correct.; int2 & sent7 -> int3: the delphinium is tetanic.; int3 & sent6 -> int4: that the delphinium is not unfit and it is not a gratitude does not hold.; int4 & sent9 -> int5: the delphinium is three-wheel.; int5 & sent10 -> hypothesis; __PROVED__