the fact that if that the hatefulness does not occur is true the clockwiseness does not occur is not right.
sent1: the non-urceolateness yields that the affording occurs. sent2: if the hatefulness does not occur then that the clockwiseness occurs is correct. sent3: the macrocosmicness is prevented by the convenientness. sent4: the expatiation does not occur if the clockwiseness occurs. sent5: that the expatiation does not occur triggers that the hatefulness occurs. sent6: if the hatefulness happens then the clockwiseness does not occur. sent7: the limbicness does not occur.
void -> assump1: Let's assume that the clockwiseness happens.; sent4 & assump1 -> int1: the expatiation does not occur.; sent5 & int1 -> int2: the fact that the hatefulness happens is not false.; void -> assump2: Let's assume that the hatefulness does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the clockwiseness does not occur.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the fact that if that the hatefulness does not occur is true the clockwiseness does not occur is not right. ; $context$ = sent1: the non-urceolateness yields that the affording occurs. sent2: if the hatefulness does not occur then that the clockwiseness occurs is correct. sent3: the macrocosmicness is prevented by the convenientness. sent4: the expatiation does not occur if the clockwiseness occurs. sent5: that the expatiation does not occur triggers that the hatefulness occurs. sent6: if the hatefulness happens then the clockwiseness does not occur. sent7: the limbicness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the clockwiseness happens.; sent4 & assump1 -> int1: the expatiation does not occur.; sent5 & int1 -> int2: the fact that the hatefulness happens is not false.; void -> assump2: Let's assume that the hatefulness does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the clockwiseness does not occur.; [assump2] & int4 -> hypothesis; __DISPROVED__