there is something such that if the fact that it does curb depiction is correct then it does not buy.
sent1: the ruff does buy. sent2: the pickle is not a pageboy. sent3: there is something such that if it does curb depiction then it buys. sent4: the indium is not unintrusive but most-favored-nation. sent5: something does buy if it is not intrusive. sent6: the ruff does not curb depiction if it is divergent and evolves. sent7: the ruff buys if it curbs depiction. sent8: a unintrusive thing does not buy. sent9: if the ruff is not intrusive that it does buy is correct. sent10: if something that is a Coke is a soiling then it is not tropical. sent11: the ruff does not curb executive if it does not interpose credence. sent12: if something is a kind of a pageboy that curbs depiction it is not intrusive. sent13: the embassy curbs depiction. sent14: if the ruff is a grain then the fact that it does not curb depiction is not false. sent15: the chromosome is intrusive. sent16: the ruff does not curb Dreyfus. sent17: something that does not curb chromosome is not cesarean. sent18: there is something such that if it dispels then it does not arrive legalization. sent19: there exists something such that if it is a pumpkin it is not a unhealthfulness. sent20: that the ruff arrives ruff hold. sent21: the ruff is a pageboy.
void -> assump1: Let's assume that the ruff curbs depiction.; sent21 & assump1 -> int1: the ruff is a pageboy and it does curb depiction.; sent12 -> int2: the fact that the ruff is not intrusive is not false if it is a pageboy that does curb depiction.; int1 & int2 -> int3: the fact that the ruff is not intrusive is right.; sent8 -> int4: the ruff does not buy if it is not intrusive.; int3 & int4 -> int5: the ruff does not buy.; [assump1] & int5 -> int6: that the ruff does not buy is true if it does curb depiction.; int6 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it does curb depiction is correct then it does not buy. ; $context$ = sent1: the ruff does buy. sent2: the pickle is not a pageboy. sent3: there is something such that if it does curb depiction then it buys. sent4: the indium is not unintrusive but most-favored-nation. sent5: something does buy if it is not intrusive. sent6: the ruff does not curb depiction if it is divergent and evolves. sent7: the ruff buys if it curbs depiction. sent8: a unintrusive thing does not buy. sent9: if the ruff is not intrusive that it does buy is correct. sent10: if something that is a Coke is a soiling then it is not tropical. sent11: the ruff does not curb executive if it does not interpose credence. sent12: if something is a kind of a pageboy that curbs depiction it is not intrusive. sent13: the embassy curbs depiction. sent14: if the ruff is a grain then the fact that it does not curb depiction is not false. sent15: the chromosome is intrusive. sent16: the ruff does not curb Dreyfus. sent17: something that does not curb chromosome is not cesarean. sent18: there is something such that if it dispels then it does not arrive legalization. sent19: there exists something such that if it is a pumpkin it is not a unhealthfulness. sent20: that the ruff arrives ruff hold. sent21: the ruff is a pageboy. ; $proof$ = 
void -> assump1: Let's assume that the ruff curbs depiction.; sent21 & assump1 -> int1: the ruff is a pageboy and it does curb depiction.; sent12 -> int2: the fact that the ruff is not intrusive is not false if it is a pageboy that does curb depiction.; int1 & int2 -> int3: the fact that the ruff is not intrusive is right.; sent8 -> int4: the ruff does not buy if it is not intrusive.; int3 & int4 -> int5: the ruff does not buy.; [assump1] & int5 -> int6: that the ruff does not buy is true if it does curb depiction.; int6 -> hypothesis; __PROVED__