the fact that if the ecotourism happens the contumacy happens is not correct.
sent1: the ecotourism does not occur if the ankyloticness and the contumacy occurs. sent2: the ankyloticness and the contumacy happens if the gymnosophicalness does not occur. sent3: the tubalness happens. sent4: that that the hecatomb but not the communicativeness happens is wrong hold. sent5: the fact that that both the ecotourism and the contumacy happens is not correct is not incorrect. sent6: that the part occurs and the unionizing does not occur is not true if the ecotourism does not occur. sent7: that the fact that the ecotourism occurs and the contumacy does not occur is not incorrect is not correct.
void -> assump2: Let's assume that the ecotourism occurs.; void -> assump1: Let's assume that the contumacy does not occur.; assump2 & assump1 -> int1: the ecotourism but not the contumacy happens.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the contumacy happens.; [assump2] & int3 -> hypothesis;
that the part occurs and the unionizing does not occur does not hold.
$hypothesis$ = the fact that if the ecotourism happens the contumacy happens is not correct. ; $context$ = sent1: the ecotourism does not occur if the ankyloticness and the contumacy occurs. sent2: the ankyloticness and the contumacy happens if the gymnosophicalness does not occur. sent3: the tubalness happens. sent4: that that the hecatomb but not the communicativeness happens is wrong hold. sent5: the fact that that both the ecotourism and the contumacy happens is not correct is not incorrect. sent6: that the part occurs and the unionizing does not occur is not true if the ecotourism does not occur. sent7: that the fact that the ecotourism occurs and the contumacy does not occur is not incorrect is not correct. ; $proof$ = 
void -> assump2: Let's assume that the ecotourism occurs.; void -> assump1: Let's assume that the contumacy does not occur.; assump2 & assump1 -> int1: the ecotourism but not the contumacy happens.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the contumacy happens.; [assump2] & int3 -> hypothesis; __DISPROVED__