the fact that the self-induction occurs is wrong.
sent1: the quarterfinal does not occur. sent2: if the recitation does not occur then the courteousness does not occur and the keratoplasty does not occur. sent3: the fact that the commanding alluvium and the stabling lobotomy occurs is incorrect. sent4: the begrudging happens if the recitation happens. sent5: that the quarterfinal happens but the safe does not occur triggers that the self-induction occurs. sent6: if the fact that the commanding alluvium happens but the stabling lobotomy does not occur does not hold the snorkeling occurs. sent7: the self-induction occurs if the quarterfinal does not occur and the safe does not occur. sent8: the begrudging does not occur. sent9: if the stabling lobotomy happens then the snorkeling occurs. sent10: the recitation happens if the snorkeling happens. sent11: that the quarterfinal does not occur and the safeness does not occur is triggered by that the commanding alluvium occurs.
void -> assump1: Let's assume that the fact that the commanding alluvium but not the stabling lobotomy occurs does not hold.; sent6 & assump1 -> int1: the snorkeling occurs.; int1 & sent10 -> int2: the fact that the recitation happens is not false.; int2 & sent4 -> int3: the begrudging happens.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the commanding alluvium but not the stabling lobotomy happens.; int5 -> int6: the commanding alluvium happens.; int6 & sent11 -> int7: the quarterfinal does not occur and the safeness does not occur.; int7 & sent7 -> hypothesis;
the courteousness does not occur and the keratoplasty does not occur.
$hypothesis$ = the fact that the self-induction occurs is wrong. ; $context$ = sent1: the quarterfinal does not occur. sent2: if the recitation does not occur then the courteousness does not occur and the keratoplasty does not occur. sent3: the fact that the commanding alluvium and the stabling lobotomy occurs is incorrect. sent4: the begrudging happens if the recitation happens. sent5: that the quarterfinal happens but the safe does not occur triggers that the self-induction occurs. sent6: if the fact that the commanding alluvium happens but the stabling lobotomy does not occur does not hold the snorkeling occurs. sent7: the self-induction occurs if the quarterfinal does not occur and the safe does not occur. sent8: the begrudging does not occur. sent9: if the stabling lobotomy happens then the snorkeling occurs. sent10: the recitation happens if the snorkeling happens. sent11: that the quarterfinal does not occur and the safeness does not occur is triggered by that the commanding alluvium occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the commanding alluvium but not the stabling lobotomy occurs does not hold.; sent6 & assump1 -> int1: the snorkeling occurs.; int1 & sent10 -> int2: the fact that the recitation happens is not false.; int2 & sent4 -> int3: the begrudging happens.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the commanding alluvium but not the stabling lobotomy happens.; int5 -> int6: the commanding alluvium happens.; int6 & sent11 -> int7: the quarterfinal does not occur and the safeness does not occur.; int7 & sent7 -> hypothesis; __DISPROVED__