the Virgo is ungenerous and subtilizes Virgo.
sent1: something that does pitch affenpinscher or is not a slur or both does crest. sent2: the nodule is a kind of non-servile a crest if it is a kind of a Inquisition. sent3: if the Virgo does not subtilize Virgo the affenpinscher does pitch affenpinscher and/or is not a kind of a slur. sent4: there exists something such that the fact that it does pole and it is not ungenerous is not correct. sent5: the affenpinscher does not crest if there exists something such that the fact that it is a kind of a Inquisition that is a crest is not right. sent6: the oubliette is ungenerous if there exists something such that the fact that that it poles and it is not ungenerous is true does not hold. sent7: the fact that the nodule is both a Inquisition and a crest is incorrect. sent8: the fact that the affenpinscher is ungenerous and it slurs is wrong. sent9: if the oubliette is ungenerous the Virgo is ungenerous.
void -> assump1: Let's assume that the Virgo does not subtilize Virgo.; sent3 & assump1 -> int1: the affenpinscher does pitch affenpinscher or is not a slur or both.; sent1 -> int2: the affenpinscher crests if it pitches affenpinscher or is not a slur or both.; int1 & int2 -> int3: the affenpinscher crests.; sent7 -> int4: there is something such that that it is a Inquisition and a crest is not right.; int4 & sent5 -> int5: the affenpinscher is not a crest.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the Virgo subtilizes Virgo hold.; sent4 & sent6 -> int8: the fact that the oubliette is ungenerous is true.; sent9 & int8 -> int9: the Virgo is ungenerous.; int7 & int9 -> hypothesis;
the fact that the Virgo is ungenerous and does subtilize Virgo does not hold.
$hypothesis$ = the Virgo is ungenerous and subtilizes Virgo. ; $context$ = sent1: something that does pitch affenpinscher or is not a slur or both does crest. sent2: the nodule is a kind of non-servile a crest if it is a kind of a Inquisition. sent3: if the Virgo does not subtilize Virgo the affenpinscher does pitch affenpinscher and/or is not a kind of a slur. sent4: there exists something such that the fact that it does pole and it is not ungenerous is not correct. sent5: the affenpinscher does not crest if there exists something such that the fact that it is a kind of a Inquisition that is a crest is not right. sent6: the oubliette is ungenerous if there exists something such that the fact that that it poles and it is not ungenerous is true does not hold. sent7: the fact that the nodule is both a Inquisition and a crest is incorrect. sent8: the fact that the affenpinscher is ungenerous and it slurs is wrong. sent9: if the oubliette is ungenerous the Virgo is ungenerous. ; $proof$ = 
void -> assump1: Let's assume that the Virgo does not subtilize Virgo.; sent3 & assump1 -> int1: the affenpinscher does pitch affenpinscher or is not a slur or both.; sent1 -> int2: the affenpinscher crests if it pitches affenpinscher or is not a slur or both.; int1 & int2 -> int3: the affenpinscher crests.; sent7 -> int4: there is something such that that it is a Inquisition and a crest is not right.; int4 & sent5 -> int5: the affenpinscher is not a crest.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the Virgo subtilizes Virgo hold.; sent4 & sent6 -> int8: the fact that the oubliette is ungenerous is true.; sent9 & int8 -> int9: the Virgo is ungenerous.; int7 & int9 -> hypothesis; __PROVED__