that the chaja is zenithal but it does not become pub is incorrect.
sent1: if the commissary overprints pharisee then the fact that the chaja is not non-zenithal but it does not become pub is not right. sent2: the chaja does not become pub if there is something such that that it is not a Hell and it is auxetic is not right. sent3: the fact that the commissary is not a Hell but it is auxetic is not correct if the scaffolding does not overprint pharisee. sent4: the Activase is both sublunar and pyrolytic. sent5: the Activase is a Hell if there is something such that it is gonadal and it does not destabilize. sent6: if that something is gonadal but it does not destabilize is false it is auxetic. sent7: the fact that the Activase is a Hell is not wrong if it overprints pharisee. sent8: the commissary does overprint pharisee if the signora is pyrolytic. sent9: if something is not an aged the fact that it snakes and it overprints pharisee is not right. sent10: that everything is not an aged is true. sent11: if something is sublunar it is pyrolytic. sent12: everything is not a Hell.
void -> assump1: Let's assume that the signora is gonadal but it does not destabilize.; assump1 -> int1: something is gonadal but it does not destabilize.; int1 & sent5 -> int2: the Activase is a Hell.; sent12 -> int3: the Activase is not a Hell.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the signora is gonadal thing that does not destabilize is not correct.; sent6 -> int6: if the fact that the signora is a kind of gonadal thing that does not destabilize does not hold it is not non-auxetic.; int5 & int6 -> int7: the signora is auxetic.; sent11 -> int8: if the signora is sublunar then it is pyrolytic.;
the chaja is zenithal thing that does not become pub.
sent9 -> int9: if the whipper-in is not a kind of an aged then that it snakes and it does overprint pharisee is not right.; sent10 -> int10: that the whipper-in is not an aged is not wrong.; int9 & int10 -> int11: that the whipper-in is a kind of a snake that overprints pharisee is not correct.; int11 -> int12: there is nothing that snakes and overprints pharisee.; int12 -> int13: the fact that the scaffolding does snake and it does overprint pharisee is wrong.; sent4 -> int14: the Activase is sublunar.;
$hypothesis$ = that the chaja is zenithal but it does not become pub is incorrect. ; $context$ = sent1: if the commissary overprints pharisee then the fact that the chaja is not non-zenithal but it does not become pub is not right. sent2: the chaja does not become pub if there is something such that that it is not a Hell and it is auxetic is not right. sent3: the fact that the commissary is not a Hell but it is auxetic is not correct if the scaffolding does not overprint pharisee. sent4: the Activase is both sublunar and pyrolytic. sent5: the Activase is a Hell if there is something such that it is gonadal and it does not destabilize. sent6: if that something is gonadal but it does not destabilize is false it is auxetic. sent7: the fact that the Activase is a Hell is not wrong if it overprints pharisee. sent8: the commissary does overprint pharisee if the signora is pyrolytic. sent9: if something is not an aged the fact that it snakes and it overprints pharisee is not right. sent10: that everything is not an aged is true. sent11: if something is sublunar it is pyrolytic. sent12: everything is not a Hell. ; $proof$ = 
void -> assump1: Let's assume that the signora is gonadal but it does not destabilize.; assump1 -> int1: something is gonadal but it does not destabilize.; int1 & sent5 -> int2: the Activase is a Hell.; sent12 -> int3: the Activase is not a Hell.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the signora is gonadal thing that does not destabilize is not correct.; sent6 -> int6: if the fact that the signora is a kind of gonadal thing that does not destabilize does not hold it is not non-auxetic.; int5 & int6 -> int7: the signora is auxetic.; sent11 -> int8: if the signora is sublunar then it is pyrolytic.; __UNKNOWN__