the antibacterial happens.
sent1: if the fact that the apposition occurs is not incorrect then the footing occurs. sent2: that not the tasting but the consumerism occurs prevents the aliveness. sent3: that the antibacterial does not occur is brought about by that the congratulating bicycle does not occur and the detachableness does not occur. sent4: the testifying andradite occurs. sent5: the tasting does not occur. sent6: that the tasting occurs is caused by that the consumerism happens. sent7: the congratulating bicycle does not occur and the detachableness does not occur if the smuggling occurs. sent8: if the consumerism does not occur but the testifying andradite happens then the smuggling occurs.
void -> assump1: Let's assume that the consumerism occurs.; sent6 & assump1 -> int1: the tasting happens.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the consumerism does not occur.; int3 & sent4 -> int4: not the consumerism but the testifying andradite occurs.; int4 & sent8 -> int5: the smuggling happens.; int5 & sent7 -> int6: the congratulating bicycle does not occur and the detachableness does not occur.; int6 & sent3 -> hypothesis;
the aliveness does not occur.
$hypothesis$ = the antibacterial happens. ; $context$ = sent1: if the fact that the apposition occurs is not incorrect then the footing occurs. sent2: that not the tasting but the consumerism occurs prevents the aliveness. sent3: that the antibacterial does not occur is brought about by that the congratulating bicycle does not occur and the detachableness does not occur. sent4: the testifying andradite occurs. sent5: the tasting does not occur. sent6: that the tasting occurs is caused by that the consumerism happens. sent7: the congratulating bicycle does not occur and the detachableness does not occur if the smuggling occurs. sent8: if the consumerism does not occur but the testifying andradite happens then the smuggling occurs. ; $proof$ = 
void -> assump1: Let's assume that the consumerism occurs.; sent6 & assump1 -> int1: the tasting happens.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the consumerism does not occur.; int3 & sent4 -> int4: not the consumerism but the testifying andradite occurs.; int4 & sent8 -> int5: the smuggling happens.; int5 & sent7 -> int6: the congratulating bicycle does not occur and the detachableness does not occur.; int6 & sent3 -> hypothesis; __DISPROVED__