the fact that there exists something such that that it is not a boil and not impotent is not right is not right.
sent1: if there is something such that that it is a Pompeii and is not a kind of a skinny is incorrect then the Cynic is not a kind of a wallpaperer. sent2: the Cynic is not a puff if there is something such that the fact that it is a boil but not a wallpaperer is not true. sent3: that the Berber is not impotent and it is not unwholesome is wrong. sent4: if there is something such that the fact that it is a kind of a wallpaperer that is not unwholesome is false the Cynic is not a boil. sent5: the Berber is heterodactyl. sent6: the Cynic is unwholesome if the Berber is a kind of a puff. sent7: something is not unwholesome if it is not a wallpaperer. sent8: if the Berber is both wholesome and not a boil then it is a kind of a wallpaperer. sent9: the poodle is meatless. sent10: if something is not unwholesome then it is not a kind of a puff. sent11: there is something such that the fact that it is unwholesome and it is not a puff is not correct. sent12: the vinyl is not a kind of a boil. sent13: something does puff and is not impotent. sent14: the Cynic is not a clerestory and not meatless. sent15: there exists something such that the fact that it is not a boil and it is impotent is incorrect. sent16: the Cynic is both not a Zaar and not a amide. sent17: the spadix is not impotent. sent18: there exists something such that the fact that it is both chalky and not substantival does not hold. sent19: the Berber is a wallpaperer if it is not impotent and it is not unwholesome. sent20: there is something such that the fact that it is a Pompeii and it is not a kind of a skinny is not true. sent21: the Cynic is a subclass. sent22: the Berber is a puff if it is not a boil and it is not impotent.
void -> assump1: Let's assume that the Berber is not a boil and is not impotent.; sent22 & assump1 -> int1: the Berber puffs.; int1 & sent6 -> int2: the Cynic is not wholesome.; sent7 -> int3: if the Cynic is not a kind of a wallpaperer it is not unwholesome.; sent20 & sent1 -> int4: the Cynic is not a kind of a wallpaperer.; int3 & int4 -> int5: the Cynic is not unwholesome.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the Berber is not a boil and it is not impotent does not hold.; int7 -> hypothesis;
$hypothesis$ = the fact that there exists something such that that it is not a boil and not impotent is not right is not right. ; $context$ = sent1: if there is something such that that it is a Pompeii and is not a kind of a skinny is incorrect then the Cynic is not a kind of a wallpaperer. sent2: the Cynic is not a puff if there is something such that the fact that it is a boil but not a wallpaperer is not true. sent3: that the Berber is not impotent and it is not unwholesome is wrong. sent4: if there is something such that the fact that it is a kind of a wallpaperer that is not unwholesome is false the Cynic is not a boil. sent5: the Berber is heterodactyl. sent6: the Cynic is unwholesome if the Berber is a kind of a puff. sent7: something is not unwholesome if it is not a wallpaperer. sent8: if the Berber is both wholesome and not a boil then it is a kind of a wallpaperer. sent9: the poodle is meatless. sent10: if something is not unwholesome then it is not a kind of a puff. sent11: there is something such that the fact that it is unwholesome and it is not a puff is not correct. sent12: the vinyl is not a kind of a boil. sent13: something does puff and is not impotent. sent14: the Cynic is not a clerestory and not meatless. sent15: there exists something such that the fact that it is not a boil and it is impotent is incorrect. sent16: the Cynic is both not a Zaar and not a amide. sent17: the spadix is not impotent. sent18: there exists something such that the fact that it is both chalky and not substantival does not hold. sent19: the Berber is a wallpaperer if it is not impotent and it is not unwholesome. sent20: there is something such that the fact that it is a Pompeii and it is not a kind of a skinny is not true. sent21: the Cynic is a subclass. sent22: the Berber is a puff if it is not a boil and it is not impotent. ; $proof$ = 
void -> assump1: Let's assume that the Berber is not a boil and is not impotent.; sent22 & assump1 -> int1: the Berber puffs.; int1 & sent6 -> int2: the Cynic is not wholesome.; sent7 -> int3: if the Cynic is not a kind of a wallpaperer it is not unwholesome.; sent20 & sent1 -> int4: the Cynic is not a kind of a wallpaperer.; int3 & int4 -> int5: the Cynic is not unwholesome.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the Berber is not a boil and it is not impotent does not hold.; int7 -> hypothesis; __DISPROVED__