that there exists something such that that it does encrimson mathematician and/or is not catapultic does not hold does not hold.
sent1: if something that is not a Edwardian is not a kind of a lapful then the white is philosophic. sent2: if the white is not a belfry and it is not a kind of a sidesman then it brooms satrap. sent3: the fact that something encrimsons mathematician and is not catapultic is not right if it bestrews parsley. sent4: there is something such that the fact that it is both not Edwardian and a lapful is false. sent5: the souffle is not a denazification if there is something such that that it is not Edwardian and is not a lapful is wrong. sent6: something does encrimson mathematician and/or it is not catapultic. sent7: that the stickpin encrimsons mathematician and/or it is not catapultic is incorrect if the white is philosophic. sent8: something is philosophic and/or it is not catapultic. sent9: if the fact that the fact that something is cochlear and is philosophic is true is not right then it is not cochlear. sent10: the fact that the white is both not a walk and not a denazification is right if it does broom satrap. sent11: the white is both not a belfry and not a sidesman. sent12: if the stickpin is structural it does bestrew parsley. sent13: if that something is a kind of a Edwardian that is not a kind of a lapful is not false the white is philosophic. sent14: there exists something such that that it is a denazification or it is not catapultic or both is not right. sent15: the stickpin is catapultic. sent16: the stickpin is structural. sent17: if that the white is not a denazification is not wrong that the souffle is cochlear and is philosophic is false. sent18: the souffle is a kind of a denazification.
void -> assump1: Let's assume that that the barograph is not Edwardian and it is not a lapful is not true.; assump1 -> int1: there is something such that the fact that it is both not a Edwardian and not a lapful does not hold.; int1 & sent5 -> int2: the souffle is not a denazification.; int2 & sent18 -> int3: this is contradiction.; [assump1] & int3 -> int4: the barograph is not a Edwardian and it is not a lapful.; int4 -> int5: something is not a kind of a Edwardian and it is not a kind of a lapful.; int5 & sent1 -> int6: that the white is philosophic is not wrong.; int6 & sent7 -> int7: that the stickpin does encrimson mathematician and/or is not catapultic is wrong.; int7 -> hypothesis;
something is not cochlear and it is not polyhedral.
sent9 -> int8: the souffle is not cochlear if the fact that it is cochlear and it is philosophic is incorrect.; sent2 & sent11 -> int9: the white does broom satrap.; sent10 & int9 -> int10: the white is not a walk and is not a denazification.; int10 -> int11: the fact that the white is not a denazification is correct.; sent17 & int11 -> int12: that the souffle is cochlear and it is philosophic is not true.; int8 & int12 -> int13: the souffle is not cochlear.; sent3 -> int14: if the stickpin does bestrew parsley that it encrimsons mathematician and it is not catapultic is false.; sent12 & sent16 -> int15: that the stickpin bestrews parsley is right.; int14 & int15 -> int16: the fact that the stickpin does encrimson mathematician and is not catapultic is not correct.; int16 -> int17: there exists something such that that it encrimsons mathematician and is not catapultic is wrong.;
$hypothesis$ = that there exists something such that that it does encrimson mathematician and/or is not catapultic does not hold does not hold. ; $context$ = sent1: if something that is not a Edwardian is not a kind of a lapful then the white is philosophic. sent2: if the white is not a belfry and it is not a kind of a sidesman then it brooms satrap. sent3: the fact that something encrimsons mathematician and is not catapultic is not right if it bestrews parsley. sent4: there is something such that the fact that it is both not Edwardian and a lapful is false. sent5: the souffle is not a denazification if there is something such that that it is not Edwardian and is not a lapful is wrong. sent6: something does encrimson mathematician and/or it is not catapultic. sent7: that the stickpin encrimsons mathematician and/or it is not catapultic is incorrect if the white is philosophic. sent8: something is philosophic and/or it is not catapultic. sent9: if the fact that the fact that something is cochlear and is philosophic is true is not right then it is not cochlear. sent10: the fact that the white is both not a walk and not a denazification is right if it does broom satrap. sent11: the white is both not a belfry and not a sidesman. sent12: if the stickpin is structural it does bestrew parsley. sent13: if that something is a kind of a Edwardian that is not a kind of a lapful is not false the white is philosophic. sent14: there exists something such that that it is a denazification or it is not catapultic or both is not right. sent15: the stickpin is catapultic. sent16: the stickpin is structural. sent17: if that the white is not a denazification is not wrong that the souffle is cochlear and is philosophic is false. sent18: the souffle is a kind of a denazification. ; $proof$ = 
void -> assump1: Let's assume that that the barograph is not Edwardian and it is not a lapful is not true.; assump1 -> int1: there is something such that the fact that it is both not a Edwardian and not a lapful does not hold.; int1 & sent5 -> int2: the souffle is not a denazification.; int2 & sent18 -> int3: this is contradiction.; [assump1] & int3 -> int4: the barograph is not a Edwardian and it is not a lapful.; int4 -> int5: something is not a kind of a Edwardian and it is not a kind of a lapful.; int5 & sent1 -> int6: that the white is philosophic is not wrong.; int6 & sent7 -> int7: that the stickpin does encrimson mathematician and/or is not catapultic is wrong.; int7 -> hypothesis; __DISPROVED__