the fascist does not occur.
sent1: if the corresponding Taiwan does not occur the nitrifying and the avoiding daffodil occurs. sent2: that the nitrifying but not the Calvinist occurs does not hold if the fistfighting happens. sent3: the fact that the antisepticizing anarthria and the keystroke happens is false. sent4: the fistfighting occurs if the thanklessness occurs. sent5: the antisepticizing anarthria does not occur. sent6: if that both the nitrifying and the non-Calvinistness occurs does not hold then the fascistness does not occur. sent7: the thanklessness happens if that the antisepticizing anarthria does not occur and the keystroke occurs is not correct. sent8: if the antisepticizing anarthria occurs then the fascistness happens. sent9: the keystroke does not occur. sent10: if the nitrifying does not occur the fascist does not occur.
void -> assump1: Let's assume that the antisepticizing anarthria does not occur and the keystroke happens.; assump1 -> int1: the keystroke occurs.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the antisepticizing anarthria does not occur and the keystroke happens is not true.; sent7 & int3 -> int4: the thanklessness happens.; sent4 & int4 -> int5: the fistfighting happens.; sent2 & int5 -> int6: that the nitrifying but not the Calvinistness happens is wrong.; sent6 & int6 -> hypothesis;
the fascist happens.
$hypothesis$ = the fascist does not occur. ; $context$ = sent1: if the corresponding Taiwan does not occur the nitrifying and the avoiding daffodil occurs. sent2: that the nitrifying but not the Calvinist occurs does not hold if the fistfighting happens. sent3: the fact that the antisepticizing anarthria and the keystroke happens is false. sent4: the fistfighting occurs if the thanklessness occurs. sent5: the antisepticizing anarthria does not occur. sent6: if that both the nitrifying and the non-Calvinistness occurs does not hold then the fascistness does not occur. sent7: the thanklessness happens if that the antisepticizing anarthria does not occur and the keystroke occurs is not correct. sent8: if the antisepticizing anarthria occurs then the fascistness happens. sent9: the keystroke does not occur. sent10: if the nitrifying does not occur the fascist does not occur. ; $proof$ = 
void -> assump1: Let's assume that the antisepticizing anarthria does not occur and the keystroke happens.; assump1 -> int1: the keystroke occurs.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the antisepticizing anarthria does not occur and the keystroke happens is not true.; sent7 & int3 -> int4: the thanklessness happens.; sent4 & int4 -> int5: the fistfighting happens.; sent2 & int5 -> int6: that the nitrifying but not the Calvinistness happens is wrong.; sent6 & int6 -> hypothesis; __PROVED__