that not the glowing but the Malawianness happens is wrong.
sent1: the Malawian happens. sent2: if the fact that the playing happens and the carcinomatousness occurs is not correct then the carcinomatousness does not occur. sent3: the Mandaean does not occur. sent4: if the play does not occur the anestheticness does not occur. sent5: the actinomycoticness happens if the absolute occurs. sent6: if the playing happens then that the absoluteness happens hold. sent7: the actinomycoticness does not occur. sent8: that the playing happens and the carcinomatousness occurs is not true if the absoluteness does not occur. sent9: the Zimbabwean occurs if the anesthetic does not occur. sent10: the non-maxillariness is prevented by that the temperateness occurs. sent11: that the glow does not occur and the Malawianness occurs is right if the Zimbabweanness happens. sent12: if the Zimbabwean happens then the Malawianness occurs.
void -> assump1: Let's assume that the play happens.; sent6 & assump1 -> int1: the absoluteness happens.; int1 & sent5 -> int2: the actinomycoticness happens.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the playing does not occur.; int4 & sent4 -> int5: the anesthetic does not occur.; int5 & sent9 -> int6: the Zimbabwean occurs.; int6 & sent11 -> hypothesis;
that the carcinomatousness does not occur is not incorrect.
$hypothesis$ = that not the glowing but the Malawianness happens is wrong. ; $context$ = sent1: the Malawian happens. sent2: if the fact that the playing happens and the carcinomatousness occurs is not correct then the carcinomatousness does not occur. sent3: the Mandaean does not occur. sent4: if the play does not occur the anestheticness does not occur. sent5: the actinomycoticness happens if the absolute occurs. sent6: if the playing happens then that the absoluteness happens hold. sent7: the actinomycoticness does not occur. sent8: that the playing happens and the carcinomatousness occurs is not true if the absoluteness does not occur. sent9: the Zimbabwean occurs if the anesthetic does not occur. sent10: the non-maxillariness is prevented by that the temperateness occurs. sent11: that the glow does not occur and the Malawianness occurs is right if the Zimbabweanness happens. sent12: if the Zimbabwean happens then the Malawianness occurs. ; $proof$ = 
void -> assump1: Let's assume that the play happens.; sent6 & assump1 -> int1: the absoluteness happens.; int1 & sent5 -> int2: the actinomycoticness happens.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the playing does not occur.; int4 & sent4 -> int5: the anesthetic does not occur.; int5 & sent9 -> int6: the Zimbabwean occurs.; int6 & sent11 -> hypothesis; __DISPROVED__