the balk is non-alive thing that does not sermonize clothier.
sent1: the nonsteroid is not a kind of a lutetium. sent2: the fact that the nonsteroid is not jawless is not wrong if that it is not a piccolo is correct. sent3: if the nonsteroid is not a lutetium then it is not a piccolo. sent4: the balk is not a kind of a teakettle. sent5: the writer does cloister disquieted if it is a Goncourt. sent6: the writer does not stoke eyelid if it is not a Goncourt. sent7: that the diner stokes eyelid if the fact that the balk is not alive and it does not sermonize clothier is not right hold. sent8: if the writer is not a kind of a lutetium then it is not a Goncourt. sent9: that if the writer is a kind of a Physidae then the lascar is a teakettle is not false. sent10: the writer is a Physidae if it cloisters disquieted. sent11: if the lascar is a kind of a teakettle the nonsteroid is jawless. sent12: the fact that the diner is a lutetium hold if the fact that the writer does not stoke eyelid and is not a kind of a Physidae is wrong. sent13: if the diner stokes eyelid then the writer is a Goncourt. sent14: the fact that that the balk does not stoke eyelid and it is not alive is not wrong does not hold. sent15: the lascar is promotional if it is a rhymed. sent16: everything does not stoke eyelid or does cloister disquieted or both. sent17: the fact that the projection does not advertise and it is not alive is not right.
void -> assump1: Let's assume that that the balk is not alive and it does not sermonize clothier is false.; sent7 & assump1 -> int1: that the diner does stoke eyelid is not false.; int1 & sent13 -> int2: that the writer is a Goncourt hold.; int2 & sent5 -> int3: the fact that the writer cloisters disquieted is correct.; int3 & sent10 -> int4: the writer is a kind of a Physidae.; int4 & sent9 -> int5: the lascar is a kind of a teakettle.; int5 & sent11 -> int6: the nonsteroid is jawless.; sent3 & sent1 -> int7: the nonsteroid is not a piccolo.; sent2 & int7 -> int8: the nonsteroid is not jawless.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
that the balk is a kind of non-alive thing that does not sermonize clothier is not correct.
sent16 -> int10: the diner either does not stoke eyelid or does cloister disquieted or both.;
$hypothesis$ = the balk is non-alive thing that does not sermonize clothier. ; $context$ = sent1: the nonsteroid is not a kind of a lutetium. sent2: the fact that the nonsteroid is not jawless is not wrong if that it is not a piccolo is correct. sent3: if the nonsteroid is not a lutetium then it is not a piccolo. sent4: the balk is not a kind of a teakettle. sent5: the writer does cloister disquieted if it is a Goncourt. sent6: the writer does not stoke eyelid if it is not a Goncourt. sent7: that the diner stokes eyelid if the fact that the balk is not alive and it does not sermonize clothier is not right hold. sent8: if the writer is not a kind of a lutetium then it is not a Goncourt. sent9: that if the writer is a kind of a Physidae then the lascar is a teakettle is not false. sent10: the writer is a Physidae if it cloisters disquieted. sent11: if the lascar is a kind of a teakettle the nonsteroid is jawless. sent12: the fact that the diner is a lutetium hold if the fact that the writer does not stoke eyelid and is not a kind of a Physidae is wrong. sent13: if the diner stokes eyelid then the writer is a Goncourt. sent14: the fact that that the balk does not stoke eyelid and it is not alive is not wrong does not hold. sent15: the lascar is promotional if it is a rhymed. sent16: everything does not stoke eyelid or does cloister disquieted or both. sent17: the fact that the projection does not advertise and it is not alive is not right. ; $proof$ = 
void -> assump1: Let's assume that that the balk is not alive and it does not sermonize clothier is false.; sent7 & assump1 -> int1: that the diner does stoke eyelid is not false.; int1 & sent13 -> int2: that the writer is a Goncourt hold.; int2 & sent5 -> int3: the fact that the writer cloisters disquieted is correct.; int3 & sent10 -> int4: the writer is a kind of a Physidae.; int4 & sent9 -> int5: the lascar is a kind of a teakettle.; int5 & sent11 -> int6: the nonsteroid is jawless.; sent3 & sent1 -> int7: the nonsteroid is not a piccolo.; sent2 & int7 -> int8: the nonsteroid is not jawless.; int6 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__