the fact that the waitress is not a slum and excretes throne does not hold.
sent1: if the toiletry is not a kind of a web then the fact that the organophosphate is not a kind of a web is not false. sent2: that something is non-new thing that does not excrete Gish is not true if it excretes poseur. sent3: the fact that the Arcadian is infectious is true. sent4: that the fact that the coelostat does shield and is not a beaten is not correct is right if the goshawk is a beaten. sent5: if the Arcadian is infectious the fact that it is not calcifugous or it is not non-centrifugal or both is false. sent6: if the coelostat is not a slum then the fact that the waitress is not a beaten hold. sent7: that the employable is new if there exists something such that the fact that it is not new and it does not excrete Gish is not right is not false. sent8: if the fact that the Arcadian is not calcifugous and/or it is centrifugal does not hold then the coelostat does excrete poseur. sent9: if something that does excrete illness is not an epithet the toiletry is not a web. sent10: the fact that the employable is Bosnian but it is not dispensable is false if the goshawk does not beat. sent11: the muncher does not excrete throne if that the coelostat does shield but it is not a beaten is not true. sent12: the employable is Bosnian but not dispensable. sent13: there exists something such that it does excrete illness and is not a kind of an epithet. sent14: the fact that the waitress is a slum is not correct if there is something such that that it is not a kind of a beaten and it is a shield does not hold. sent15: if the organophosphate does not web then that the muncher is not a beaten and shields is not right. sent16: if the muncher does not excrete throne then that the waitress does not slum and excrete throne is wrong.
void -> assump1: Let's assume that the goshawk does not beat.; sent10 & assump1 -> int1: the fact that the employable is Bosnian but it is not dispensable is not correct.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the goshawk is a kind of a beaten.; int3 & sent4 -> int4: the fact that the coelostat is a shield but it is not a kind of a beaten does not hold.; int4 & sent11 -> int5: the muncher does not excrete throne.; int5 & sent16 -> hypothesis;
the waitress is not a slum but it excretes throne.
sent13 & sent9 -> int6: the toiletry is not a web.; sent1 & int6 -> int7: the organophosphate is not a web.; sent15 & int7 -> int8: that the muncher does not beat and is a kind of a shield is not true.; int8 -> int9: there is something such that that that it does not beat and is a shield hold is wrong.; int9 & sent14 -> int10: the waitress is not a kind of a slum.; sent2 -> int11: that the coelostat is not new and it does not excrete Gish is false if the fact that it does excrete poseur is not wrong.; sent5 & sent3 -> int12: the fact that either the Arcadian is not calcifugous or it is centrifugal or both does not hold.; sent8 & int12 -> int13: the coelostat excretes poseur.; int11 & int13 -> int14: the fact that the coelostat is non-new and it does not excrete Gish is incorrect.; int14 -> int15: there is something such that the fact that it is a kind of non-new thing that does not excrete Gish is not right.; int15 & sent7 -> int16: the employable is new.; int16 -> int17: there is something such that it is new.;
$hypothesis$ = the fact that the waitress is not a slum and excretes throne does not hold. ; $context$ = sent1: if the toiletry is not a kind of a web then the fact that the organophosphate is not a kind of a web is not false. sent2: that something is non-new thing that does not excrete Gish is not true if it excretes poseur. sent3: the fact that the Arcadian is infectious is true. sent4: that the fact that the coelostat does shield and is not a beaten is not correct is right if the goshawk is a beaten. sent5: if the Arcadian is infectious the fact that it is not calcifugous or it is not non-centrifugal or both is false. sent6: if the coelostat is not a slum then the fact that the waitress is not a beaten hold. sent7: that the employable is new if there exists something such that the fact that it is not new and it does not excrete Gish is not right is not false. sent8: if the fact that the Arcadian is not calcifugous and/or it is centrifugal does not hold then the coelostat does excrete poseur. sent9: if something that does excrete illness is not an epithet the toiletry is not a web. sent10: the fact that the employable is Bosnian but it is not dispensable is false if the goshawk does not beat. sent11: the muncher does not excrete throne if that the coelostat does shield but it is not a beaten is not true. sent12: the employable is Bosnian but not dispensable. sent13: there exists something such that it does excrete illness and is not a kind of an epithet. sent14: the fact that the waitress is a slum is not correct if there is something such that that it is not a kind of a beaten and it is a shield does not hold. sent15: if the organophosphate does not web then that the muncher is not a beaten and shields is not right. sent16: if the muncher does not excrete throne then that the waitress does not slum and excrete throne is wrong. ; $proof$ = 
void -> assump1: Let's assume that the goshawk does not beat.; sent10 & assump1 -> int1: the fact that the employable is Bosnian but it is not dispensable is not correct.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the goshawk is a kind of a beaten.; int3 & sent4 -> int4: the fact that the coelostat is a shield but it is not a kind of a beaten does not hold.; int4 & sent11 -> int5: the muncher does not excrete throne.; int5 & sent16 -> hypothesis; __PROVED__