the crape is not a kind of a Arendt and it is not punitive.
sent1: the inkwell outstares Erysiphe and is not a spherule if it does not rustle. sent2: something does not surmise northeaster. sent3: the inkwell is not a kind of a rustle if the northeaster is avuncular and it is an internee. sent4: the fact that the inkwell is not a Arendt hold if it does outstare Erysiphe and it whooshes. sent5: there exists something such that it does not outstare hectogram. sent6: the reseau is not ecdemic. sent7: the reseau is a inactiveness and is not punitive. sent8: the northeaster does not whoosh but it is a kind of an internee. sent9: if something that outstares Erysiphe is not a spherule then it is not a Arendt. sent10: if something is not ecdemic then the fact that it is both not a Arendt and non-punitive does not hold. sent11: the northeaster is not anal or it does not outstare board or both if there exists something such that it is not ecdemic. sent12: the wader is ecdemic. sent13: the crape is not a Arendt and is not punitive if the inkwell is not a Arendt. sent14: if something is not anal and/or it does not outstare board then it is avuncular. sent15: the reseau is non-ecdemic or it is not a kind of a Arendt or both if there is something such that it is not punitive.
sent6 -> int1: there is something such that it is not ecdemic.; int1 & sent11 -> int2: either the northeaster is not anal or it does not outstare board or both.; sent14 -> int3: if that the northeaster is not anal and/or it does not outstare board is not wrong it is avuncular.; int2 & int3 -> int4: the northeaster is not non-avuncular.; sent8 -> int5: the northeaster is a kind of an internee.; int4 & int5 -> int6: the northeaster is both avuncular and an internee.; int6 & sent3 -> int7: the inkwell is not a kind of a rustle.; int7 & sent1 -> int8: the inkwell outstares Erysiphe but it is not a spherule.; sent9 -> int9: that that the inkwell is not the Arendt is not wrong if the inkwell does outstare Erysiphe but it is not a spherule is not wrong.; int8 & int9 -> int10: the inkwell is not a Arendt.; int10 & sent13 -> hypothesis;
that the crape is not a Arendt and is not punitive is incorrect.
sent10 -> int11: if that the crape is not ecdemic is not incorrect then that it is not a Arendt and is not punitive does not hold.;
$hypothesis$ = the crape is not a kind of a Arendt and it is not punitive. ; $context$ = sent1: the inkwell outstares Erysiphe and is not a spherule if it does not rustle. sent2: something does not surmise northeaster. sent3: the inkwell is not a kind of a rustle if the northeaster is avuncular and it is an internee. sent4: the fact that the inkwell is not a Arendt hold if it does outstare Erysiphe and it whooshes. sent5: there exists something such that it does not outstare hectogram. sent6: the reseau is not ecdemic. sent7: the reseau is a inactiveness and is not punitive. sent8: the northeaster does not whoosh but it is a kind of an internee. sent9: if something that outstares Erysiphe is not a spherule then it is not a Arendt. sent10: if something is not ecdemic then the fact that it is both not a Arendt and non-punitive does not hold. sent11: the northeaster is not anal or it does not outstare board or both if there exists something such that it is not ecdemic. sent12: the wader is ecdemic. sent13: the crape is not a Arendt and is not punitive if the inkwell is not a Arendt. sent14: if something is not anal and/or it does not outstare board then it is avuncular. sent15: the reseau is non-ecdemic or it is not a kind of a Arendt or both if there is something such that it is not punitive. ; $proof$ = 
sent6 -> int1: there is something such that it is not ecdemic.; int1 & sent11 -> int2: either the northeaster is not anal or it does not outstare board or both.; sent14 -> int3: if that the northeaster is not anal and/or it does not outstare board is not wrong it is avuncular.; int2 & int3 -> int4: the northeaster is not non-avuncular.; sent8 -> int5: the northeaster is a kind of an internee.; int4 & int5 -> int6: the northeaster is both avuncular and an internee.; int6 & sent3 -> int7: the inkwell is not a kind of a rustle.; int7 & sent1 -> int8: the inkwell outstares Erysiphe but it is not a spherule.; sent9 -> int9: that that the inkwell is not the Arendt is not wrong if the inkwell does outstare Erysiphe but it is not a spherule is not wrong.; int8 & int9 -> int10: the inkwell is not a Arendt.; int10 & sent13 -> hypothesis; __PROVED__