the table is cerebral thing that is appendicular.
sent1: the absorber is a prerequisite. sent2: something is not appendicular if the fact that it is Goethean and it is appendicular is false. sent3: if the fact that the table is not a kind of a crossbencher and does exterminate is incorrect then it is cerebral. sent4: the fact that the sepal does suckle songster is not wrong. sent5: there are non-Goethean things. sent6: something is anticlinal and is not Goethean. sent7: the recess is not a bawler if the fact that the sepal does not maintain Gordimer but it does wail disaffection does not hold. sent8: the stinter converges if that it is non-appendicular thing that does splurge is not true. sent9: something is both not non-Goethean and not non-anticlinal if the fact that it is not a bawler hold. sent10: if something that is anticlinal is not Goethean the table is appendicular. sent11: something is anticlinal and it is Goethean. sent12: that the sepal does not maintain Gordimer and wails disaffection is not correct if it does suckle songster. sent13: if the absorber is not a overachievement the fact that the table is not appendicular and it is not cerebral is wrong. sent14: if something is Goethean it maintains Sabbatarian. sent15: if a non-off-street thing is non-Brazilian then it is not a overachievement. sent16: if the absorber is a kind of a prerequisite then it is not off-street and it is not a Brazilian.
sent6 & sent10 -> int1: the table is appendicular.;
the recess maintains Sabbatarian and exterminates.
sent14 -> int2: if the recess is Goethean it does maintain Sabbatarian.; sent9 -> int3: if the recess is not a kind of a bawler then it is Goethean and it is anticlinal.; sent12 & sent4 -> int4: that the sepal does not maintain Gordimer and wails disaffection is not true.; sent7 & int4 -> int5: the recess is not a bawler.; int3 & int5 -> int6: the recess is Goethean and it is anticlinal.; int6 -> int7: the recess is Goethean.; int2 & int7 -> int8: the recess does maintain Sabbatarian.; sent15 -> int9: if the absorber is non-off-street thing that is not Brazilian it is not a overachievement.; sent16 & sent1 -> int10: the absorber is a kind of non-off-street thing that is not a kind of a Brazilian.; int9 & int10 -> int11: the absorber is not a overachievement.; sent13 & int11 -> int12: the fact that the table is not appendicular and it is not cerebral is wrong.; int12 -> int13: there is something such that the fact that it is not appendicular and not cerebral is not correct.;
$hypothesis$ = the table is cerebral thing that is appendicular. ; $context$ = sent1: the absorber is a prerequisite. sent2: something is not appendicular if the fact that it is Goethean and it is appendicular is false. sent3: if the fact that the table is not a kind of a crossbencher and does exterminate is incorrect then it is cerebral. sent4: the fact that the sepal does suckle songster is not wrong. sent5: there are non-Goethean things. sent6: something is anticlinal and is not Goethean. sent7: the recess is not a bawler if the fact that the sepal does not maintain Gordimer but it does wail disaffection does not hold. sent8: the stinter converges if that it is non-appendicular thing that does splurge is not true. sent9: something is both not non-Goethean and not non-anticlinal if the fact that it is not a bawler hold. sent10: if something that is anticlinal is not Goethean the table is appendicular. sent11: something is anticlinal and it is Goethean. sent12: that the sepal does not maintain Gordimer and wails disaffection is not correct if it does suckle songster. sent13: if the absorber is not a overachievement the fact that the table is not appendicular and it is not cerebral is wrong. sent14: if something is Goethean it maintains Sabbatarian. sent15: if a non-off-street thing is non-Brazilian then it is not a overachievement. sent16: if the absorber is a kind of a prerequisite then it is not off-street and it is not a Brazilian. ; $proof$ = 
sent6 & sent10 -> int1: the table is appendicular.; __UNKNOWN__