that if the fact that both the unpropheticness and the non-Donatistness happens is not right then that the unpropheticness does not occur is not false is not correct.
sent1: if the stroking microflora happens and the transubstantiation happens the Donatistness does not occur. sent2: the stroking microflora happens. sent3: the singling nearside does not occur if the interfacialness and the stroking Sarah occurs. sent4: the benevolentness but not the refit occurs. sent5: the cartage occurs. sent6: that the unpropheticness does not occur is triggered by that both the unpropheticness and the non-Donatistness occurs. sent7: the skank does not occur if the fact that the skank occurs and the patterning Frick does not occur is wrong. sent8: the reporting occurs. sent9: the dirtying occurs. sent10: the cartage happens and the transubstantiation happens. sent11: the havoc does not occur. sent12: the unpropheticness does not occur if the fact that the unpropheticness and the Donatistness happens is not correct. sent13: the stroking zap does not occur. sent14: the coherentness occurs.
sent10 -> int1: the transubstantiation happens.; int1 & sent2 -> int2: both the stroking microflora and the transubstantiation occurs.; int2 & sent1 -> int3: that the Donatistness does not occur hold.; void -> assump1: Let's assume that that the unpropheticness happens is right.; int3 & assump1 -> int4: the unpropheticness but not the Donatist occurs.; void -> assump2: Let's assume that the fact that the unpropheticness and the non-Donatistness occurs is not right.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the unpropheticness does not occur.; [assump2] & int6 -> hypothesis;
$hypothesis$ = that if the fact that both the unpropheticness and the non-Donatistness happens is not right then that the unpropheticness does not occur is not false is not correct. ; $context$ = sent1: if the stroking microflora happens and the transubstantiation happens the Donatistness does not occur. sent2: the stroking microflora happens. sent3: the singling nearside does not occur if the interfacialness and the stroking Sarah occurs. sent4: the benevolentness but not the refit occurs. sent5: the cartage occurs. sent6: that the unpropheticness does not occur is triggered by that both the unpropheticness and the non-Donatistness occurs. sent7: the skank does not occur if the fact that the skank occurs and the patterning Frick does not occur is wrong. sent8: the reporting occurs. sent9: the dirtying occurs. sent10: the cartage happens and the transubstantiation happens. sent11: the havoc does not occur. sent12: the unpropheticness does not occur if the fact that the unpropheticness and the Donatistness happens is not correct. sent13: the stroking zap does not occur. sent14: the coherentness occurs. ; $proof$ = 
sent10 -> int1: the transubstantiation happens.; int1 & sent2 -> int2: both the stroking microflora and the transubstantiation occurs.; int2 & sent1 -> int3: that the Donatistness does not occur hold.; void -> assump1: Let's assume that that the unpropheticness happens is right.; int3 & assump1 -> int4: the unpropheticness but not the Donatist occurs.; void -> assump2: Let's assume that the fact that the unpropheticness and the non-Donatistness occurs is not right.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the unpropheticness does not occur.; [assump2] & int6 -> hypothesis; __DISPROVED__