the deploring fanatic does not occur.
sent1: if both the deploring megalopolis and the non-postmeridianness happens then the deploring fanatic does not occur. sent2: if the shot does not occur the pitching does not occur. sent3: the boxing sonata occurs if the autopsy occurs. sent4: that the pitching does not occur prevents that the boxing sonata occurs. sent5: the impairing emery happens if the postmeridianness happens but the autopsying does not occur. sent6: the esophagealness is triggered by the boxing sonata. sent7: the curiousness happens and/or the reflexology occurs. sent8: the postmeridianness occurs and the deploring megalopolis happens. sent9: if the curiousness happens the unlikeness happens. sent10: the shooting is prevented by that the boxing snowdrop and the unlikeness occurs. sent11: the impairing emery does not occur. sent12: if the esophagealness occurs the deploring fanatic occurs. sent13: the boxing snowdrop happens and the specificness happens.
sent8 -> int1: the postmeridianness occurs.; void -> assump1: Let's assume that the autopsying does not occur.; int1 & assump1 -> int2: the postmeridianness but not the autopsying happens.; int2 & sent5 -> int3: the impairing emery occurs.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the autopsying occurs.; int5 & sent3 -> int6: the boxing sonata occurs.; int6 & sent6 -> int7: the esophagealness happens.; int7 & sent12 -> hypothesis;
the fact that the deploring fanatic does not occur hold.
sent13 -> int8: the boxing snowdrop occurs.;
$hypothesis$ = the deploring fanatic does not occur. ; $context$ = sent1: if both the deploring megalopolis and the non-postmeridianness happens then the deploring fanatic does not occur. sent2: if the shot does not occur the pitching does not occur. sent3: the boxing sonata occurs if the autopsy occurs. sent4: that the pitching does not occur prevents that the boxing sonata occurs. sent5: the impairing emery happens if the postmeridianness happens but the autopsying does not occur. sent6: the esophagealness is triggered by the boxing sonata. sent7: the curiousness happens and/or the reflexology occurs. sent8: the postmeridianness occurs and the deploring megalopolis happens. sent9: if the curiousness happens the unlikeness happens. sent10: the shooting is prevented by that the boxing snowdrop and the unlikeness occurs. sent11: the impairing emery does not occur. sent12: if the esophagealness occurs the deploring fanatic occurs. sent13: the boxing snowdrop happens and the specificness happens. ; $proof$ = 
sent8 -> int1: the postmeridianness occurs.; void -> assump1: Let's assume that the autopsying does not occur.; int1 & assump1 -> int2: the postmeridianness but not the autopsying happens.; int2 & sent5 -> int3: the impairing emery occurs.; int3 & sent11 -> int4: this is contradiction.; [assump1] & int4 -> int5: the autopsying occurs.; int5 & sent3 -> int6: the boxing sonata occurs.; int6 & sent6 -> int7: the esophagealness happens.; int7 & sent12 -> hypothesis; __DISPROVED__