that there exists something such that it is an epic and/or it is independent is not correct.
sent1: something does organize Wiesenthal if it does effect nebbish. sent2: the styracosaur is not vascular. sent3: that either something is an epic or it is independent or both is incorrect if it is not a kind of a poverty. sent4: the pullet is a potpie if the fact that the styracosaur is not detachable and it is not vascular is incorrect. sent5: if the solderer is a Capetian it is epic. sent6: the strudel is a potpie. sent7: the fact that the exhibitionism is not a potpie hold. sent8: if the styracosaur is non-vascular a potpie the strudel is detachable. sent9: the Court purifies. sent10: something is a kind of a pensioner if that it is provocative hold. sent11: the styracosaur impacts. sent12: there exists something such that that it is evil thing that is a poverty does not hold. sent13: the styracosaur is a poverty. sent14: the styracosaur is sulcate. sent15: something that is not a potpie and does trip cameraman is independent. sent16: the appointee is not detachable. sent17: the solderer is not independent. sent18: the strudel is not detachable. sent19: the strudel does trip cameraman. sent20: a poverty does trip cameraman. sent21: the strudel is a kind of a Tidewater. sent22: if something is not vascular but it is detachable it trips cameraman.
void -> assump1: Let's assume that the styracosaur is a potpie.; sent2 & assump1 -> int1: the styracosaur is a kind of non-vascular a potpie.; int1 & sent8 -> int2: the strudel is detachable.; int2 & sent18 -> int3: this is contradiction.; [assump1] & int3 -> int4: the styracosaur is not a potpie.; sent20 -> int5: the styracosaur trips cameraman if it is a kind of a poverty.; int5 & sent13 -> int6: the styracosaur does trip cameraman.; int4 & int6 -> int7: the styracosaur is not a kind of a potpie but it trips cameraman.; sent15 -> int8: if the styracosaur is not a potpie and trips cameraman it is independent.; int7 & int8 -> int9: that the styracosaur is independent is not wrong.; int9 -> int10: the styracosaur is an epic or it is independent or both.; int10 -> hypothesis;
the pullet is a kind of a potpie.
sent3 -> int11: if the strudel is not a poverty then that either it is an epic or it is independent or both is not true.;
$hypothesis$ = that there exists something such that it is an epic and/or it is independent is not correct. ; $context$ = sent1: something does organize Wiesenthal if it does effect nebbish. sent2: the styracosaur is not vascular. sent3: that either something is an epic or it is independent or both is incorrect if it is not a kind of a poverty. sent4: the pullet is a potpie if the fact that the styracosaur is not detachable and it is not vascular is incorrect. sent5: if the solderer is a Capetian it is epic. sent6: the strudel is a potpie. sent7: the fact that the exhibitionism is not a potpie hold. sent8: if the styracosaur is non-vascular a potpie the strudel is detachable. sent9: the Court purifies. sent10: something is a kind of a pensioner if that it is provocative hold. sent11: the styracosaur impacts. sent12: there exists something such that that it is evil thing that is a poverty does not hold. sent13: the styracosaur is a poverty. sent14: the styracosaur is sulcate. sent15: something that is not a potpie and does trip cameraman is independent. sent16: the appointee is not detachable. sent17: the solderer is not independent. sent18: the strudel is not detachable. sent19: the strudel does trip cameraman. sent20: a poverty does trip cameraman. sent21: the strudel is a kind of a Tidewater. sent22: if something is not vascular but it is detachable it trips cameraman. ; $proof$ = 
void -> assump1: Let's assume that the styracosaur is a potpie.; sent2 & assump1 -> int1: the styracosaur is a kind of non-vascular a potpie.; int1 & sent8 -> int2: the strudel is detachable.; int2 & sent18 -> int3: this is contradiction.; [assump1] & int3 -> int4: the styracosaur is not a potpie.; sent20 -> int5: the styracosaur trips cameraman if it is a kind of a poverty.; int5 & sent13 -> int6: the styracosaur does trip cameraman.; int4 & int6 -> int7: the styracosaur is not a kind of a potpie but it trips cameraman.; sent15 -> int8: if the styracosaur is not a potpie and trips cameraman it is independent.; int7 & int8 -> int9: that the styracosaur is independent is not wrong.; int9 -> int10: the styracosaur is an epic or it is independent or both.; int10 -> hypothesis; __DISPROVED__