the pulp is not a gust.
sent1: if there exists something such that it is not a Communist the Cage is a Princeton and is a Chianti. sent2: there is something such that it is not a Communist. sent3: if there is something such that it is not a gust the fact that the pulp is a Princeton is right. sent4: the glauconite is not a kind of a knife if that it does deactivate minge and it does not lean is not true. sent5: the fact that the Cage is a Princeton but not a gust is not true. sent6: there exists something such that it is not a kind of a knife. sent7: if the pulp is not a gust that the glauconite deactivates minge and does not lean is not correct. sent8: the Cage is not a Princeton if the glauconite is not a knife. sent9: the Cage leans. sent10: that the Cage is a kind of a knife that does lean does not hold if the glauconite is not a Princeton. sent11: there is something such that the fact that it is not leaning is true. sent12: the glauconite does scotch and is a Princeton.
void -> assump1: Let's assume that that the pulp is not a gust is not false.; sent7 & assump1 -> int1: that the glauconite does deactivate minge and is not leaning is false.; int1 & sent4 -> int2: the glauconite does not knife.; int2 & sent8 -> int3: the Cage is not a Princeton.; sent2 & sent1 -> int4: the Cage is a Princeton and it is a kind of a Chianti.; int4 -> int5: the Cage is a Princeton.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the pulp is not a gust. ; $context$ = sent1: if there exists something such that it is not a Communist the Cage is a Princeton and is a Chianti. sent2: there is something such that it is not a Communist. sent3: if there is something such that it is not a gust the fact that the pulp is a Princeton is right. sent4: the glauconite is not a kind of a knife if that it does deactivate minge and it does not lean is not true. sent5: the fact that the Cage is a Princeton but not a gust is not true. sent6: there exists something such that it is not a kind of a knife. sent7: if the pulp is not a gust that the glauconite deactivates minge and does not lean is not correct. sent8: the Cage is not a Princeton if the glauconite is not a knife. sent9: the Cage leans. sent10: that the Cage is a kind of a knife that does lean does not hold if the glauconite is not a Princeton. sent11: there is something such that the fact that it is not leaning is true. sent12: the glauconite does scotch and is a Princeton. ; $proof$ = 
void -> assump1: Let's assume that that the pulp is not a gust is not false.; sent7 & assump1 -> int1: that the glauconite does deactivate minge and is not leaning is false.; int1 & sent4 -> int2: the glauconite does not knife.; int2 & sent8 -> int3: the Cage is not a Princeton.; sent2 & sent1 -> int4: the Cage is a Princeton and it is a kind of a Chianti.; int4 -> int5: the Cage is a Princeton.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__