the detachableness happens.
sent1: if the detachableness does not occur then the fact that the bleach does not occur and the theming magistracy does not occur does not hold. sent2: if the uncovering does not occur then that the intonating happens but the theming ferocity does not occur is wrong. sent3: the bleach does not occur and the theming magistracy does not occur if the intonating occurs. sent4: if the fact that the intonating but not the theming ferocity happens is not true then the detachableness does not occur. sent5: the intonating occurs.
void -> assump1: Let's assume that the detachableness does not occur.; sent1 & assump1 -> int1: that the bleaching does not occur and the theming magistracy does not occur is false.; sent3 & sent5 -> int2: the bleaching does not occur and the theming magistracy does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the detachableness does not occur.
$hypothesis$ = the detachableness happens. ; $context$ = sent1: if the detachableness does not occur then the fact that the bleach does not occur and the theming magistracy does not occur does not hold. sent2: if the uncovering does not occur then that the intonating happens but the theming ferocity does not occur is wrong. sent3: the bleach does not occur and the theming magistracy does not occur if the intonating occurs. sent4: if the fact that the intonating but not the theming ferocity happens is not true then the detachableness does not occur. sent5: the intonating occurs. ; $proof$ = 
void -> assump1: Let's assume that the detachableness does not occur.; sent1 & assump1 -> int1: that the bleaching does not occur and the theming magistracy does not occur is false.; sent3 & sent5 -> int2: the bleaching does not occur and the theming magistracy does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__