that the fact that the microcephalicness and the aweing nightshirt happens hold is incorrect.
sent1: either the stewing does not occur or the introversiveness happens or both. sent2: the fact that the aweing dallisgrass does not occur and the shockableness does not occur is right. sent3: the fact that the nullification and the tattooing happens does not hold. sent4: either the stewing or the non-introversiveness or both happens. sent5: if the discountenancing lake does not occur the fact that the microcephalicness occurs and the aweing nightshirt happens is incorrect. sent6: the aweing knish does not occur. sent7: the shockableness does not occur. sent8: the discountenancing deism does not occur. sent9: the swabbing does not occur. sent10: the aweing Pound does not occur. sent11: if the stewing does not occur and/or the introversiveness does not occur the discountenancing lake does not occur. sent12: if the stewing occurs the aweing dallisgrass occurs.
void -> assump1: Let's assume that the stewing occurs.; sent12 & assump1 -> int1: that the aweing dallisgrass happens is not false.; sent2 -> int2: the aweing dallisgrass does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the stewing does not occur.; int4 -> int5: the stewing does not occur or the introversiveness does not occur or both.; int5 & sent11 -> int6: the discountenancing lake does not occur.; int6 & sent5 -> hypothesis;
the fact that the nullification and the tattooing happens does not hold.
 -> hypothesis;
$hypothesis$ = that the fact that the microcephalicness and the aweing nightshirt happens hold is incorrect. ; $context$ = sent1: either the stewing does not occur or the introversiveness happens or both. sent2: the fact that the aweing dallisgrass does not occur and the shockableness does not occur is right. sent3: the fact that the nullification and the tattooing happens does not hold. sent4: either the stewing or the non-introversiveness or both happens. sent5: if the discountenancing lake does not occur the fact that the microcephalicness occurs and the aweing nightshirt happens is incorrect. sent6: the aweing knish does not occur. sent7: the shockableness does not occur. sent8: the discountenancing deism does not occur. sent9: the swabbing does not occur. sent10: the aweing Pound does not occur. sent11: if the stewing does not occur and/or the introversiveness does not occur the discountenancing lake does not occur. sent12: if the stewing occurs the aweing dallisgrass occurs. ; $proof$ = 
void -> assump1: Let's assume that the stewing occurs.; sent12 & assump1 -> int1: that the aweing dallisgrass happens is not false.; sent2 -> int2: the aweing dallisgrass does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the stewing does not occur.; int4 -> int5: the stewing does not occur or the introversiveness does not occur or both.; int5 & sent11 -> int6: the discountenancing lake does not occur.; int6 & sent5 -> hypothesis; __PROVED__