if the batching bordered occurs that the shattering but not the irradiating Timor occurs does not hold.
sent1: the shattering but not the irradiating Timor occurs if the batching bordered happens. sent2: the drumbeat does not occur. sent3: that the accessing happens and the archesporialness occurs is brought about by that the betrothal does not occur. sent4: the euphoniousness does not occur and the K.E. does not occur if the accessing occurs. sent5: not the blockage but the batching bordered occurs if the euphoniousness does not occur. sent6: the batching bordered is prevented by that the shattering happens and the irradiating Timor does not occur. sent7: both the lexicalizing aficionado and the aging fibrinogen occurs if the monopsony does not occur. sent8: the fact that the monopsony happens does not hold if the drumbeat does not occur. sent9: the cracking occurs.
void -> assump2: Let's assume that the shattering happens and the irradiating Timor does not occur.; sent6 & assump2 -> int1: the batching bordered does not occur.; void -> assump1: Let's assume that the batching bordered happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the shattering happens but the irradiating Timor does not occur is false.; [assump1] & int3 -> hypothesis;
the lexicalizing aficionado happens and the blockage does not occur.
sent8 & sent2 -> int4: that the monopsony does not occur hold.; sent7 & int4 -> int5: the lexicalizing aficionado happens and the aging fibrinogen happens.; int5 -> int6: the lexicalizing aficionado happens.;
$hypothesis$ = if the batching bordered occurs that the shattering but not the irradiating Timor occurs does not hold. ; $context$ = sent1: the shattering but not the irradiating Timor occurs if the batching bordered happens. sent2: the drumbeat does not occur. sent3: that the accessing happens and the archesporialness occurs is brought about by that the betrothal does not occur. sent4: the euphoniousness does not occur and the K.E. does not occur if the accessing occurs. sent5: not the blockage but the batching bordered occurs if the euphoniousness does not occur. sent6: the batching bordered is prevented by that the shattering happens and the irradiating Timor does not occur. sent7: both the lexicalizing aficionado and the aging fibrinogen occurs if the monopsony does not occur. sent8: the fact that the monopsony happens does not hold if the drumbeat does not occur. sent9: the cracking occurs. ; $proof$ = 
void -> assump2: Let's assume that the shattering happens and the irradiating Timor does not occur.; sent6 & assump2 -> int1: the batching bordered does not occur.; void -> assump1: Let's assume that the batching bordered happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the shattering happens but the irradiating Timor does not occur is false.; [assump1] & int3 -> hypothesis; __PROVED__