the iridectomy does not occur.
sent1: that both the non-Finnishness and the funambulism occurs is not correct if that the justice happens hold. sent2: the kip does not occur. sent3: the funambulism and the crucifix occurs if the exotericness does not occur. sent4: that the harshening nibbler happens and the iridectomy happens prevents the Finnish. sent5: the exotericness does not occur. sent6: both the justice and the serenading atom happens if the kip does not occur. sent7: the harshening nibbler occurs.
void -> assump1: Let's assume that that the iridectomy does not occur is wrong.; sent7 & assump1 -> int1: the harshening nibbler occurs and the iridectomy occurs.; int1 & sent4 -> int2: the Finnish does not occur.; sent3 & sent5 -> int3: the funambulism and the crucifix happens.; int3 -> int4: the funambulism happens.; int2 & int4 -> int5: not the Finnish but the funambulism happens.; sent6 & sent2 -> int6: both the justice and the serenading atom happens.; int6 -> int7: the justice happens.; sent1 & int7 -> int8: the fact that both the non-Finnishness and the funambulism occurs is wrong.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
$hypothesis$ = the iridectomy does not occur. ; $context$ = sent1: that both the non-Finnishness and the funambulism occurs is not correct if that the justice happens hold. sent2: the kip does not occur. sent3: the funambulism and the crucifix occurs if the exotericness does not occur. sent4: that the harshening nibbler happens and the iridectomy happens prevents the Finnish. sent5: the exotericness does not occur. sent6: both the justice and the serenading atom happens if the kip does not occur. sent7: the harshening nibbler occurs. ; $proof$ = 
void -> assump1: Let's assume that that the iridectomy does not occur is wrong.; sent7 & assump1 -> int1: the harshening nibbler occurs and the iridectomy occurs.; int1 & sent4 -> int2: the Finnish does not occur.; sent3 & sent5 -> int3: the funambulism and the crucifix happens.; int3 -> int4: the funambulism happens.; int2 & int4 -> int5: not the Finnish but the funambulism happens.; sent6 & sent2 -> int6: both the justice and the serenading atom happens.; int6 -> int7: the justice happens.; sent1 & int7 -> int8: the fact that both the non-Finnishness and the funambulism occurs is wrong.; int5 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__