if the pottery occurs then the inviolableness does not occur.
sent1: the fact that the exaggeration occurs is correct. sent2: that the pottery does not occur is caused by that the inviolableness and the discountenancing mariposa happens. sent3: the pottery occurs if the inviolableness occurs and the discountenancing mariposa happens. sent4: the chordateness does not occur. sent5: the discountenancing Koussevitzky does not occur if that the misgovernment occurs is true. sent6: the fact that the systematicness does not occur is not false. sent7: that the manhandling kilderkin occurs and the aweing gadfly happens prevents that the alternation occurs. sent8: the manhandling bearnaise does not occur. sent9: that the aweing gadfly and the doctoring occurs results in that the assignation does not occur. sent10: the ancestralness occurs and the volatilizing occurs. sent11: the sugarlessness happens. sent12: the paradigmaticness occurs. sent13: if the picture does not occur the fissileness occurs. sent14: the fact that the discountenancing 1750s occurs is not incorrect. sent15: the Panamanianness does not occur. sent16: the downdraft happens. sent17: the inviolableness happens if the pottery occurs. sent18: the Ethiopianness does not occur. sent19: the discountenancing mariposa happens if the manhandling bearnaise does not occur.
sent19 & sent8 -> int1: that the discountenancing mariposa happens is not false.; void -> assump2: Let's assume that the inviolableness occurs.; int1 & assump2 -> int2: both the inviolableness and the discountenancing mariposa occurs.; int2 & sent2 -> int3: the fact that the fact that the pottery occurs is incorrect is not incorrect.; void -> assump1: Let's assume that the pottery happens.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the inviolableness does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the pottery occurs then the inviolableness does not occur. ; $context$ = sent1: the fact that the exaggeration occurs is correct. sent2: that the pottery does not occur is caused by that the inviolableness and the discountenancing mariposa happens. sent3: the pottery occurs if the inviolableness occurs and the discountenancing mariposa happens. sent4: the chordateness does not occur. sent5: the discountenancing Koussevitzky does not occur if that the misgovernment occurs is true. sent6: the fact that the systematicness does not occur is not false. sent7: that the manhandling kilderkin occurs and the aweing gadfly happens prevents that the alternation occurs. sent8: the manhandling bearnaise does not occur. sent9: that the aweing gadfly and the doctoring occurs results in that the assignation does not occur. sent10: the ancestralness occurs and the volatilizing occurs. sent11: the sugarlessness happens. sent12: the paradigmaticness occurs. sent13: if the picture does not occur the fissileness occurs. sent14: the fact that the discountenancing 1750s occurs is not incorrect. sent15: the Panamanianness does not occur. sent16: the downdraft happens. sent17: the inviolableness happens if the pottery occurs. sent18: the Ethiopianness does not occur. sent19: the discountenancing mariposa happens if the manhandling bearnaise does not occur. ; $proof$ = 
sent19 & sent8 -> int1: that the discountenancing mariposa happens is not false.; void -> assump2: Let's assume that the inviolableness occurs.; int1 & assump2 -> int2: both the inviolableness and the discountenancing mariposa occurs.; int2 & sent2 -> int3: the fact that the fact that the pottery occurs is incorrect is not incorrect.; void -> assump1: Let's assume that the pottery happens.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the inviolableness does not occur.; [assump1] & int5 -> hypothesis; __PROVED__