that the cluing CTC happens brings about that the devastation does not occur.
sent1: the fatalist occurs. sent2: if the devastation and the cluing CTC happens the leeward does not occur. sent3: the squatting nous happens. sent4: that the librarianship happens is prevented by that the Linnaeanness and the interdepartmentalness happens. sent5: the awfulness happens. sent6: the cluing nose is prevented by that the suspending Aragon and the instroke occurs. sent7: if the fishiness happens then the glovelessness happens. sent8: the suspending refrigeration occurs if the cluing Champollion happens. sent9: the sequestration does not occur. sent10: the naming occurs if the pericardialness happens. sent11: the leeward happens if the squatting nous occurs. sent12: the cluing elation occurs. sent13: the rounding does not occur. sent14: if the cluing CTC happens then the devastation occurs.
void -> assump2: Let's assume that the devastation occurs.; void -> assump1: Let's assume that the cluing CTC occurs.; assump2 & assump1 -> int1: both the devastation and the cluing CTC happens.; int1 & sent2 -> int2: the fact that the leeward does not occur is not wrong.; sent11 & sent3 -> int3: the leeward occurs.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the devastation does not occur.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the cluing CTC happens brings about that the devastation does not occur. ; $context$ = sent1: the fatalist occurs. sent2: if the devastation and the cluing CTC happens the leeward does not occur. sent3: the squatting nous happens. sent4: that the librarianship happens is prevented by that the Linnaeanness and the interdepartmentalness happens. sent5: the awfulness happens. sent6: the cluing nose is prevented by that the suspending Aragon and the instroke occurs. sent7: if the fishiness happens then the glovelessness happens. sent8: the suspending refrigeration occurs if the cluing Champollion happens. sent9: the sequestration does not occur. sent10: the naming occurs if the pericardialness happens. sent11: the leeward happens if the squatting nous occurs. sent12: the cluing elation occurs. sent13: the rounding does not occur. sent14: if the cluing CTC happens then the devastation occurs. ; $proof$ = 
void -> assump2: Let's assume that the devastation occurs.; void -> assump1: Let's assume that the cluing CTC occurs.; assump2 & assump1 -> int1: both the devastation and the cluing CTC happens.; int1 & sent2 -> int2: the fact that the leeward does not occur is not wrong.; sent11 & sent3 -> int3: the leeward occurs.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the devastation does not occur.; [assump1] & int5 -> hypothesis; __PROVED__