the acrobat is not a cheekbone.
sent1: the intercom is magisterial and it is Gandhian. sent2: the acrobat is a cheekbone if the turnpike does bog etamine. sent3: there is nothing such that that it perpetuates intercom and it does not bog turnpike hold. sent4: if that the evaluator perpetuates intercom and does not bog turnpike does not hold the bowleg perpetuates intercom. sent5: if the bowleg is a beanstalk and/or is not a cairned then it does shaft rubberneck. sent6: the bowleg is not a kind of a cairned. sent7: the acrobat does not bog etamine if the turnpike does not bog etamine but it does haul. sent8: the bowleg does not haul if the intercom is both magisterial and Gandhian. sent9: something is not magisterial if it is noninfectious and is not Gandhian. sent10: the fact that the intercom does haul is not false. sent11: if something is a cairned the acrobat is a beanstalk and it is a Cockney. sent12: the turnpike shafts rubberneck. sent13: the bowleg is magisterial if the fact that the intercom is magisterial and does not perpetuate intercom does not hold. sent14: if something does perpetuate intercom the fact that the intercom is not noninfectious and does not haul is false. sent15: that the turnpike does bog etamine hold if there exists something such that that it perpetuates intercom and it is not noninfectious is not incorrect. sent16: if there exists something such that that it is not noninfectious and it does not haul is not correct the turnpike haul. sent17: there is something such that that it perpetuates intercom hold. sent18: something is not noninfectious if it does shaft rubberneck and does not haul.
sent6 -> int1: the bowleg is a beanstalk and/or not a cairned.; int1 & sent5 -> int2: that the bowleg shafts rubberneck hold.; sent8 & sent1 -> int3: the bowleg does not haul.; int2 & int3 -> int4: the bowleg shafts rubberneck and does not haul.; sent18 -> int5: if the bowleg does shaft rubberneck but it does not haul then it is not noninfectious.; int4 & int5 -> int6: the bowleg is not noninfectious.; sent3 -> int7: the fact that the evaluator does perpetuate intercom but it does not bog turnpike does not hold.; sent4 & int7 -> int8: the bowleg does perpetuate intercom.; int6 & int8 -> int9: the bowleg perpetuates intercom and is not noninfectious.; int9 -> int10: something does perpetuate intercom but it is not noninfectious.; int10 & sent15 -> int11: the turnpike bogs etamine.; int11 & sent2 -> hypothesis;
the acrobat is a Cockney and does not bog etamine.
sent17 & sent14 -> int12: the fact that the intercom is not noninfectious and it does not haul does not hold.; int12 -> int13: there is something such that that it is not noninfectious and it does not haul is not right.; int13 & sent16 -> int14: the turnpike hauls.;
$hypothesis$ = the acrobat is not a cheekbone. ; $context$ = sent1: the intercom is magisterial and it is Gandhian. sent2: the acrobat is a cheekbone if the turnpike does bog etamine. sent3: there is nothing such that that it perpetuates intercom and it does not bog turnpike hold. sent4: if that the evaluator perpetuates intercom and does not bog turnpike does not hold the bowleg perpetuates intercom. sent5: if the bowleg is a beanstalk and/or is not a cairned then it does shaft rubberneck. sent6: the bowleg is not a kind of a cairned. sent7: the acrobat does not bog etamine if the turnpike does not bog etamine but it does haul. sent8: the bowleg does not haul if the intercom is both magisterial and Gandhian. sent9: something is not magisterial if it is noninfectious and is not Gandhian. sent10: the fact that the intercom does haul is not false. sent11: if something is a cairned the acrobat is a beanstalk and it is a Cockney. sent12: the turnpike shafts rubberneck. sent13: the bowleg is magisterial if the fact that the intercom is magisterial and does not perpetuate intercom does not hold. sent14: if something does perpetuate intercom the fact that the intercom is not noninfectious and does not haul is false. sent15: that the turnpike does bog etamine hold if there exists something such that that it perpetuates intercom and it is not noninfectious is not incorrect. sent16: if there exists something such that that it is not noninfectious and it does not haul is not correct the turnpike haul. sent17: there is something such that that it perpetuates intercom hold. sent18: something is not noninfectious if it does shaft rubberneck and does not haul. ; $proof$ = 
sent6 -> int1: the bowleg is a beanstalk and/or not a cairned.; int1 & sent5 -> int2: that the bowleg shafts rubberneck hold.; sent8 & sent1 -> int3: the bowleg does not haul.; int2 & int3 -> int4: the bowleg shafts rubberneck and does not haul.; sent18 -> int5: if the bowleg does shaft rubberneck but it does not haul then it is not noninfectious.; int4 & int5 -> int6: the bowleg is not noninfectious.; sent3 -> int7: the fact that the evaluator does perpetuate intercom but it does not bog turnpike does not hold.; sent4 & int7 -> int8: the bowleg does perpetuate intercom.; int6 & int8 -> int9: the bowleg perpetuates intercom and is not noninfectious.; int9 -> int10: something does perpetuate intercom but it is not noninfectious.; int10 & sent15 -> int11: the turnpike bogs etamine.; int11 & sent2 -> hypothesis; __DISPROVED__