the dawn does not occur.
sent1: the mayhem occurs. sent2: the endometrialness occurs if the dawning does not occur. sent3: the consternating bunkmate and the freesianess happens. sent4: that the dawning happens is triggered by that the endgame happens. sent5: the mayhem does not occur if the consternating bunkmate and the denigration occurs. sent6: the endgame happens if the denigration does not occur.
sent3 -> int1: the fact that the consternating bunkmate happens hold.; void -> assump1: Let's assume that the denigration occurs.; int1 & assump1 -> int2: the consternating bunkmate and the denigration occurs.; int2 & sent5 -> int3: the mayhem does not occur.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: the denigration does not occur.; int5 & sent6 -> int6: the endgame occurs.; int6 & sent4 -> hypothesis;
the endometrialness and the strengthening panda occurs.
$hypothesis$ = the dawn does not occur. ; $context$ = sent1: the mayhem occurs. sent2: the endometrialness occurs if the dawning does not occur. sent3: the consternating bunkmate and the freesianess happens. sent4: that the dawning happens is triggered by that the endgame happens. sent5: the mayhem does not occur if the consternating bunkmate and the denigration occurs. sent6: the endgame happens if the denigration does not occur. ; $proof$ = 
sent3 -> int1: the fact that the consternating bunkmate happens hold.; void -> assump1: Let's assume that the denigration occurs.; int1 & assump1 -> int2: the consternating bunkmate and the denigration occurs.; int2 & sent5 -> int3: the mayhem does not occur.; int3 & sent1 -> int4: this is contradiction.; [assump1] & int4 -> int5: the denigration does not occur.; int5 & sent6 -> int6: the endgame occurs.; int6 & sent4 -> hypothesis; __DISPROVED__