the ambushing pullover occurs and the biting does not occur.
sent1: if the whale does not occur that the headmastership happens but the run-onness does not occur does not hold. sent2: the anticoagulation occurs. sent3: that the blastemalness happens and the whale happens causes that the swerving does not occur. sent4: that the ambushing pullover happens and the bite does not occur prevents that the blastemalness does not occur. sent5: the biting does not occur. sent6: if the quivering Riksmal does not occur the anticoagulation happens. sent7: if the quivering Riksmal does not occur then the fact that the swerving and the anticoagulation happens is not incorrect. sent8: the quivering Riksmal does not occur. sent9: the fact that the whale occurs is correct. sent10: if the ambushing pullover and the bite occurs then the blastemalness happens.
void -> assump1: Let's assume that the ambushing pullover but not the biting happens.; sent4 & assump1 -> int1: the blastemalness happens.; int1 & sent9 -> int2: both the blastemalness and the whaling occurs.; int2 & sent3 -> int3: the swerve does not occur.; sent7 & sent8 -> int4: the swerve happens and the anticoagulation happens.; int4 -> int5: the swerving happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
that the headmastership happens and the run-onness does not occur does not hold.
$hypothesis$ = the ambushing pullover occurs and the biting does not occur. ; $context$ = sent1: if the whale does not occur that the headmastership happens but the run-onness does not occur does not hold. sent2: the anticoagulation occurs. sent3: that the blastemalness happens and the whale happens causes that the swerving does not occur. sent4: that the ambushing pullover happens and the bite does not occur prevents that the blastemalness does not occur. sent5: the biting does not occur. sent6: if the quivering Riksmal does not occur the anticoagulation happens. sent7: if the quivering Riksmal does not occur then the fact that the swerving and the anticoagulation happens is not incorrect. sent8: the quivering Riksmal does not occur. sent9: the fact that the whale occurs is correct. sent10: if the ambushing pullover and the bite occurs then the blastemalness happens. ; $proof$ = 
void -> assump1: Let's assume that the ambushing pullover but not the biting happens.; sent4 & assump1 -> int1: the blastemalness happens.; int1 & sent9 -> int2: both the blastemalness and the whaling occurs.; int2 & sent3 -> int3: the swerve does not occur.; sent7 & sent8 -> int4: the swerve happens and the anticoagulation happens.; int4 -> int5: the swerving happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__