the sclerotomy occurs.
sent1: that the fact that the turning does not occur and the electricalness does not occur is right does not hold. sent2: the sclerotomy is brought about by either the non-Trinidadianness or that the tillage occurs or both. sent3: if that the turning does not occur and the electricalness does not occur is not correct then the damascene does not occur. sent4: if that the non-Trinidadianness and/or the tillage occurs is incorrect the damascening occurs.
void -> assump1: Let's assume that that that the non-Trinidadianness and/or the tillage occurs hold is not true.; sent4 & assump1 -> int1: the damascene occurs.; sent3 & sent1 -> int2: the damasceneness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the non-Trinidadianness and/or the tillage happens.; int4 & sent2 -> hypothesis;
$hypothesis$ = the sclerotomy occurs. ; $context$ = sent1: that the fact that the turning does not occur and the electricalness does not occur is right does not hold. sent2: the sclerotomy is brought about by either the non-Trinidadianness or that the tillage occurs or both. sent3: if that the turning does not occur and the electricalness does not occur is not correct then the damascene does not occur. sent4: if that the non-Trinidadianness and/or the tillage occurs is incorrect the damascening occurs. ; $proof$ = 
void -> assump1: Let's assume that that that the non-Trinidadianness and/or the tillage occurs hold is not true.; sent4 & assump1 -> int1: the damascene occurs.; sent3 & sent1 -> int2: the damasceneness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the non-Trinidadianness and/or the tillage happens.; int4 & sent2 -> hypothesis; __PROVED__