the anterogradeness does not occur.
sent1: the loading larid prevents the uncomplimentaryness. sent2: that the dunk does not occur prevents the non-anterogradeness. sent3: that the coffining chock does not occur causes that the loading larid and the tailspin occurs. sent4: the tailspin occurs. sent5: the self-destruction does not occur and the headship does not occur. sent6: that the complimentariness does not occur is brought about by that the dunking occurs but the headship does not occur. sent7: the coffining chock does not occur.
sent5 -> int1: the headship does not occur.; void -> assump1: Let's assume that the fact that the dunking occurs hold.; int1 & assump1 -> int2: the dunk happens but the headship does not occur.; int2 & sent6 -> int3: the fact that the complimentariness does not occur is not wrong.; sent3 & sent7 -> int4: the loading larid and the tailspin occurs.; int4 -> int5: the loading larid happens.; sent1 & int5 -> int6: the complimentariness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the dunking does not occur.; int8 & sent2 -> hypothesis;
$hypothesis$ = the anterogradeness does not occur. ; $context$ = sent1: the loading larid prevents the uncomplimentaryness. sent2: that the dunk does not occur prevents the non-anterogradeness. sent3: that the coffining chock does not occur causes that the loading larid and the tailspin occurs. sent4: the tailspin occurs. sent5: the self-destruction does not occur and the headship does not occur. sent6: that the complimentariness does not occur is brought about by that the dunking occurs but the headship does not occur. sent7: the coffining chock does not occur. ; $proof$ = 
sent5 -> int1: the headship does not occur.; void -> assump1: Let's assume that the fact that the dunking occurs hold.; int1 & assump1 -> int2: the dunk happens but the headship does not occur.; int2 & sent6 -> int3: the fact that the complimentariness does not occur is not wrong.; sent3 & sent7 -> int4: the loading larid and the tailspin occurs.; int4 -> int5: the loading larid happens.; sent1 & int5 -> int6: the complimentariness occurs.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the dunking does not occur.; int8 & sent2 -> hypothesis; __DISPROVED__