the procarbazine is not a fascista.
sent1: the procarbazine lords if something is frivolous and releases. sent2: the Man is a release if that the salon is not a beech and/or it services Shan is wrong. sent3: the arbitrageur refaces syncope. sent4: the procarbazine is fascista and it is frivolous if something is polymeric. sent5: the shirt does not release if it services Calvino and/or is a duct. sent6: the salon is not a kind of a release. sent7: the cricket is a hudud and does fracture shirt. sent8: if the salon is not a Galahad then the fact that it either is not a kind of a beech or services Shan or both is incorrect. sent9: the heir is not a Galahad. sent10: if the Man is not frivolous the heir is polymeric. sent11: something is not a fascista if it lords and/or it services Calvino. sent12: the shirt is not a duct. sent13: the accelerometer does not lord. sent14: if something services Shan and/or it lords then it is not a Galahad. sent15: that the heir does not lord hold. sent16: there exists something such that it is a release. sent17: the shirt is a duct if the heir is polymeric.
void -> assump1: Let's assume that the Man is not frivolous.; sent10 & assump1 -> int1: the heir is polymeric.; int1 & sent17 -> int2: the shirt is a duct.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Man is frivolous.; sent11 -> int5: the procarbazine is not a fascista if it either does lord or does service Calvino or both.;
the procarbazine is a fascista.
$hypothesis$ = the procarbazine is not a fascista. ; $context$ = sent1: the procarbazine lords if something is frivolous and releases. sent2: the Man is a release if that the salon is not a beech and/or it services Shan is wrong. sent3: the arbitrageur refaces syncope. sent4: the procarbazine is fascista and it is frivolous if something is polymeric. sent5: the shirt does not release if it services Calvino and/or is a duct. sent6: the salon is not a kind of a release. sent7: the cricket is a hudud and does fracture shirt. sent8: if the salon is not a Galahad then the fact that it either is not a kind of a beech or services Shan or both is incorrect. sent9: the heir is not a Galahad. sent10: if the Man is not frivolous the heir is polymeric. sent11: something is not a fascista if it lords and/or it services Calvino. sent12: the shirt is not a duct. sent13: the accelerometer does not lord. sent14: if something services Shan and/or it lords then it is not a Galahad. sent15: that the heir does not lord hold. sent16: there exists something such that it is a release. sent17: the shirt is a duct if the heir is polymeric. ; $proof$ = 
void -> assump1: Let's assume that the Man is not frivolous.; sent10 & assump1 -> int1: the heir is polymeric.; int1 & sent17 -> int2: the shirt is a duct.; int2 & sent12 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Man is frivolous.; sent11 -> int5: the procarbazine is not a fascista if it either does lord or does service Calvino or both.; __UNKNOWN__