the fact that the symmetry does list if the urocele is yeasty is wrong.
sent1: if there is something such that that it is animated and it does blank does not hold the urocele does list. sent2: something is animated. sent3: that the Pound is nonfissionable and it does blank is wrong if there are non-animated things. sent4: something is not an allele if it is a sniper. sent5: something is not impractical if it is a Byzantine. sent6: a yeasty thing does not animate. sent7: that the Pound is not a kind of a blank hold if it is yeasty. sent8: the symmetry is nonfissionable if there is something such that the fact that it is both yeasty and a list is not true. sent9: there exists something such that it is a kind of nonfissionable a blank. sent10: that the symmetry is yeasty is not false. sent11: the Pound is bounded. sent12: the fact that the Pound is a blank and yeasty is not true if something is not nonfissionable. sent13: the symmetry does blank. sent14: the symmetry is nonfissionable. sent15: there is something such that that it is a young is false. sent16: the roundhead does not fag. sent17: that something does not sample is not wrong. sent18: if there is something such that the fact that it is nonfissionable thing that blanks is false then the symmetry lists. sent19: the symmetry lists if there is something such that it does not blank. sent20: the urocele does not arrogate conversation. sent21: the Pound is a kind of a list if the symmetry blanks. sent22: the fact that the Pound lists and it animates is wrong if something is not a blank.
sent6 -> int1: if the urocele is yeasty then that it does not animate hold.; void -> assump1: Let's assume that the fact that the urocele is yeasty hold.; int1 & assump1 -> int2: the urocele does not animate.; int2 -> int3: there is something such that it does not animate.; int3 & sent3 -> int4: that the Pound is nonfissionable and is a kind of a blank is not right.; int4 -> int5: there is something such that the fact that it is nonfissionable and it is a blank is not true.; int5 & sent18 -> int6: that the symmetry does list is true.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fact that the symmetry does list if the urocele is yeasty is wrong. ; $context$ = sent1: if there is something such that that it is animated and it does blank does not hold the urocele does list. sent2: something is animated. sent3: that the Pound is nonfissionable and it does blank is wrong if there are non-animated things. sent4: something is not an allele if it is a sniper. sent5: something is not impractical if it is a Byzantine. sent6: a yeasty thing does not animate. sent7: that the Pound is not a kind of a blank hold if it is yeasty. sent8: the symmetry is nonfissionable if there is something such that the fact that it is both yeasty and a list is not true. sent9: there exists something such that it is a kind of nonfissionable a blank. sent10: that the symmetry is yeasty is not false. sent11: the Pound is bounded. sent12: the fact that the Pound is a blank and yeasty is not true if something is not nonfissionable. sent13: the symmetry does blank. sent14: the symmetry is nonfissionable. sent15: there is something such that that it is a young is false. sent16: the roundhead does not fag. sent17: that something does not sample is not wrong. sent18: if there is something such that the fact that it is nonfissionable thing that blanks is false then the symmetry lists. sent19: the symmetry lists if there is something such that it does not blank. sent20: the urocele does not arrogate conversation. sent21: the Pound is a kind of a list if the symmetry blanks. sent22: the fact that the Pound lists and it animates is wrong if something is not a blank. ; $proof$ = 
sent6 -> int1: if the urocele is yeasty then that it does not animate hold.; void -> assump1: Let's assume that the fact that the urocele is yeasty hold.; int1 & assump1 -> int2: the urocele does not animate.; int2 -> int3: there is something such that it does not animate.; int3 & sent3 -> int4: that the Pound is nonfissionable and is a kind of a blank is not right.; int4 -> int5: there is something such that the fact that it is nonfissionable and it is a blank is not true.; int5 & sent18 -> int6: that the symmetry does list is true.; [assump1] & int6 -> hypothesis; __DISPROVED__