the fact that the support does not grate lap is right.
sent1: the bodega does grate pall-mall. sent2: the baguet is a stitchwort that is Machiavellian. sent3: something that does pretend is a cigarillo. sent4: the support is non-biologistic. sent5: if that something is not a prurience but it is a kind of a brachycephalic is false then it is axiological. sent6: if that the bodega is not phrenic and/or is a brachycephalic is not right the scorpion is not a brachycephalic. sent7: if something is not a kind of a dump and is not a kind of a beanball it does not grate lap. sent8: that the scorpion is not a prurience but it is a brachycephalic is not correct. sent9: the support does grate lap if the bodega is axiological and does not grate lap. sent10: the ailanthus undercuts Mountie and is a knacker. sent11: the scorpion is biologistic. sent12: if the fact that the bodega is not phrenic and/or is a beanball is incorrect the support is not a beanball. sent13: the fact that the scorpion is both a beanball and a brachycephalic does not hold. sent14: something that is not phrenic is both not a beanball and not a dump. sent15: the support is a brachycephalic. sent16: if the bodega grates pall-mall then that it is not phrenic and/or it is a kind of a beanball is not correct. sent17: if the scorpion is a kind of biologistic thing that is axiological then the support is not a dump. sent18: The pall-mall does grate bodega.
sent5 -> int1: if the fact that the scorpion is not a kind of a prurience but it is a kind of a brachycephalic is not true it is axiological.; int1 & sent8 -> int2: the scorpion is axiological.; int2 & sent11 -> int3: the scorpion is a kind of biologistic thing that is not non-axiological.; int3 & sent17 -> int4: the support is not a dump.; sent16 & sent1 -> int5: the fact that the bodega is not phrenic and/or it is a kind of a beanball is incorrect.; sent12 & int5 -> int6: the support is not a kind of a beanball.; int4 & int6 -> int7: the support is not a dump and is not a beanball.; sent7 -> int8: if the support is not a dump and not a beanball the fact that it does not grate lap is not incorrect.; int7 & int8 -> hypothesis;
the support does grate lap.
sent14 -> int9: the Philistine is not a beanball and not a dump if it is not phrenic.;
$hypothesis$ = the fact that the support does not grate lap is right. ; $context$ = sent1: the bodega does grate pall-mall. sent2: the baguet is a stitchwort that is Machiavellian. sent3: something that does pretend is a cigarillo. sent4: the support is non-biologistic. sent5: if that something is not a prurience but it is a kind of a brachycephalic is false then it is axiological. sent6: if that the bodega is not phrenic and/or is a brachycephalic is not right the scorpion is not a brachycephalic. sent7: if something is not a kind of a dump and is not a kind of a beanball it does not grate lap. sent8: that the scorpion is not a prurience but it is a brachycephalic is not correct. sent9: the support does grate lap if the bodega is axiological and does not grate lap. sent10: the ailanthus undercuts Mountie and is a knacker. sent11: the scorpion is biologistic. sent12: if the fact that the bodega is not phrenic and/or is a beanball is incorrect the support is not a beanball. sent13: the fact that the scorpion is both a beanball and a brachycephalic does not hold. sent14: something that is not phrenic is both not a beanball and not a dump. sent15: the support is a brachycephalic. sent16: if the bodega grates pall-mall then that it is not phrenic and/or it is a kind of a beanball is not correct. sent17: if the scorpion is a kind of biologistic thing that is axiological then the support is not a dump. sent18: The pall-mall does grate bodega. ; $proof$ = 
sent5 -> int1: if the fact that the scorpion is not a kind of a prurience but it is a kind of a brachycephalic is not true it is axiological.; int1 & sent8 -> int2: the scorpion is axiological.; int2 & sent11 -> int3: the scorpion is a kind of biologistic thing that is not non-axiological.; int3 & sent17 -> int4: the support is not a dump.; sent16 & sent1 -> int5: the fact that the bodega is not phrenic and/or it is a kind of a beanball is incorrect.; sent12 & int5 -> int6: the support is not a kind of a beanball.; int4 & int6 -> int7: the support is not a dump and is not a beanball.; sent7 -> int8: if the support is not a dump and not a beanball the fact that it does not grate lap is not incorrect.; int7 & int8 -> hypothesis; __PROVED__