that the fretting Adventism does not occur and the equalization does not occur is false if the demilitarizing settlor does not occur.
sent1: if the fretting Adventism does not occur and the equalization does not occur then the demilitarizing settlor occurs. sent2: the immobileness prevents that the separated does not occur. sent3: that the infantileness happens is prevented by that the picketing does not occur or the Creoleness or both. sent4: if the subsurfaceness does not occur that both the immobileness and the demilitarizing settlor happens is correct. sent5: if both the non-infantileness and the interleaving drosophila happens then the subsurfaceness does not occur.
void -> assump2: Let's assume that the fretting Adventism does not occur and the equalization does not occur.; sent1 & assump2 -> int1: the demilitarizing settlor happens.; void -> assump1: Let's assume that that the demilitarizing settlor does not occur hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that that the fretting Adventism does not occur and the equalization does not occur is not wrong does not hold.; [assump1] & int3 -> hypothesis;
the separating occurs.
$hypothesis$ = that the fretting Adventism does not occur and the equalization does not occur is false if the demilitarizing settlor does not occur. ; $context$ = sent1: if the fretting Adventism does not occur and the equalization does not occur then the demilitarizing settlor occurs. sent2: the immobileness prevents that the separated does not occur. sent3: that the infantileness happens is prevented by that the picketing does not occur or the Creoleness or both. sent4: if the subsurfaceness does not occur that both the immobileness and the demilitarizing settlor happens is correct. sent5: if both the non-infantileness and the interleaving drosophila happens then the subsurfaceness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the fretting Adventism does not occur and the equalization does not occur.; sent1 & assump2 -> int1: the demilitarizing settlor happens.; void -> assump1: Let's assume that that the demilitarizing settlor does not occur hold.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that that the fretting Adventism does not occur and the equalization does not occur is not wrong does not hold.; [assump1] & int3 -> hypothesis; __PROVED__