the bargainer is not tetragonal and is not noneffervescent.
sent1: the dressmaker is both not a chemist and a maildrop if the double-prop is immunotherapeutic. sent2: something is a maildrop if it is gyral. sent3: the casket is not gyral and/or is not immunotherapeutic. sent4: the Mancunian is not immunotherapeutic if something is non-gyral and/or immunotherapeutic. sent5: there exists something such that that it is not a bolero and it is not a tux is not correct. sent6: the bobolink is not noneffervescent if the dressmaker is not immunotherapeutic. sent7: if the dressmaker is not a broiler and is a gestalt the double-prop is a chemist. sent8: if there is something such that the fact that it is not a bolero and it is not a kind of a tux does not hold then the double-prop is gyral. sent9: that something is not a fare and does not publish is not true if it proposes bargainer. sent10: something is not a kind of a maildrop if it is a kind of a chemist or it does propose bargainer or both. sent11: the fact that the bargainer is tetragonal but it is not noneffervescent is wrong. sent12: that the double-prop is a chemist and proposes bargainer is incorrect if something is not a maildrop. sent13: if the bobolink is not noneffervescent the fact that the bargainer is non-tetragonal thing that is not noneffervescent is incorrect. sent14: the bobolink is not a maildrop if the Mancunian is not immunotherapeutic. sent15: something is not immunotherapeutic if that it is not a broiler but a gestalt is wrong.
void -> assump1: Let's assume that the dressmaker is not a broiler but it is a gestalt.; sent7 & assump1 -> int1: the double-prop is a chemist.; int1 -> int2: either the double-prop is a chemist or it does propose bargainer or both.; sent10 -> int3: the double-prop is not a maildrop if it is a chemist and/or it does propose bargainer.; int2 & int3 -> int4: the double-prop is not a maildrop.; sent2 -> int5: if the double-prop is gyral it is a kind of a maildrop.; sent5 & sent8 -> int6: the double-prop is gyral.; int5 & int6 -> int7: the double-prop is a kind of a maildrop.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the dressmaker is both not a broiler and a gestalt is wrong.; sent15 -> int10: the dressmaker is non-immunotherapeutic if that it is not a broiler and is a kind of a gestalt is not correct.; int9 & int10 -> int11: the dressmaker is not immunotherapeutic.; int11 & sent6 -> int12: the bobolink is not noneffervescent.; int12 & sent13 -> hypothesis;
there is something such that that it does not fare and does not publish is not true.
sent9 -> int13: that the dressmaker does not fare and does not publish does not hold if it proposes bargainer.;
$hypothesis$ = the bargainer is not tetragonal and is not noneffervescent. ; $context$ = sent1: the dressmaker is both not a chemist and a maildrop if the double-prop is immunotherapeutic. sent2: something is a maildrop if it is gyral. sent3: the casket is not gyral and/or is not immunotherapeutic. sent4: the Mancunian is not immunotherapeutic if something is non-gyral and/or immunotherapeutic. sent5: there exists something such that that it is not a bolero and it is not a tux is not correct. sent6: the bobolink is not noneffervescent if the dressmaker is not immunotherapeutic. sent7: if the dressmaker is not a broiler and is a gestalt the double-prop is a chemist. sent8: if there is something such that the fact that it is not a bolero and it is not a kind of a tux does not hold then the double-prop is gyral. sent9: that something is not a fare and does not publish is not true if it proposes bargainer. sent10: something is not a kind of a maildrop if it is a kind of a chemist or it does propose bargainer or both. sent11: the fact that the bargainer is tetragonal but it is not noneffervescent is wrong. sent12: that the double-prop is a chemist and proposes bargainer is incorrect if something is not a maildrop. sent13: if the bobolink is not noneffervescent the fact that the bargainer is non-tetragonal thing that is not noneffervescent is incorrect. sent14: the bobolink is not a maildrop if the Mancunian is not immunotherapeutic. sent15: something is not immunotherapeutic if that it is not a broiler but a gestalt is wrong. ; $proof$ = 
void -> assump1: Let's assume that the dressmaker is not a broiler but it is a gestalt.; sent7 & assump1 -> int1: the double-prop is a chemist.; int1 -> int2: either the double-prop is a chemist or it does propose bargainer or both.; sent10 -> int3: the double-prop is not a maildrop if it is a chemist and/or it does propose bargainer.; int2 & int3 -> int4: the double-prop is not a maildrop.; sent2 -> int5: if the double-prop is gyral it is a kind of a maildrop.; sent5 & sent8 -> int6: the double-prop is gyral.; int5 & int6 -> int7: the double-prop is a kind of a maildrop.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the fact that the dressmaker is both not a broiler and a gestalt is wrong.; sent15 -> int10: the dressmaker is non-immunotherapeutic if that it is not a broiler and is a kind of a gestalt is not correct.; int9 & int10 -> int11: the dressmaker is not immunotherapeutic.; int11 & sent6 -> int12: the bobolink is not noneffervescent.; int12 & sent13 -> hypothesis; __DISPROVED__