the fact that if that the subdividing hyperthermia occurs is not wrong then the agon happens does not hold.
sent1: the fact that both the nonprescriptionness and the syllogizing happens is wrong. sent2: if the fact that the prescription does not occur and the syllogizing does not occur is not right then the agon happens. sent3: the fact that the fact that the prescriptionness occurs and the syllogizing does not occur is not right is not wrong. sent4: the fact that the backgrounding does not occur and the unsteadiness does not occur is not correct if that the subdividing hyperthermia does not occur is not false. sent5: that the prescription does not occur and the syllogizing does not occur is wrong if the subdividing hyperthermia happens. sent6: the fact that the hairlessness does not occur and the cubistness does not occur is wrong if the commutation happens. sent7: the fact that not the prescriptionness but the syllogizing occurs is false if the subdividing hyperthermia occurs. sent8: the fact that the prescriptionness occurs but the syllogizing does not occur is not correct if the subdividing hyperthermia happens. sent9: the heterologousness occurs.
void -> assump1: Let's assume that the subdividing hyperthermia happens.; sent5 & assump1 -> int1: the fact that the prescriptionness does not occur and the syllogizing does not occur does not hold.; sent2 & int1 -> int2: that the agon occurs is right.; [assump1] & int2 -> hypothesis;
that the background does not occur and the unsteadiness does not occur is not right.
$hypothesis$ = the fact that if that the subdividing hyperthermia occurs is not wrong then the agon happens does not hold. ; $context$ = sent1: the fact that both the nonprescriptionness and the syllogizing happens is wrong. sent2: if the fact that the prescription does not occur and the syllogizing does not occur is not right then the agon happens. sent3: the fact that the fact that the prescriptionness occurs and the syllogizing does not occur is not right is not wrong. sent4: the fact that the backgrounding does not occur and the unsteadiness does not occur is not correct if that the subdividing hyperthermia does not occur is not false. sent5: that the prescription does not occur and the syllogizing does not occur is wrong if the subdividing hyperthermia happens. sent6: the fact that the hairlessness does not occur and the cubistness does not occur is wrong if the commutation happens. sent7: the fact that not the prescriptionness but the syllogizing occurs is false if the subdividing hyperthermia occurs. sent8: the fact that the prescriptionness occurs but the syllogizing does not occur is not correct if the subdividing hyperthermia happens. sent9: the heterologousness occurs. ; $proof$ = 
void -> assump1: Let's assume that the subdividing hyperthermia happens.; sent5 & assump1 -> int1: the fact that the prescriptionness does not occur and the syllogizing does not occur does not hold.; sent2 & int1 -> int2: that the agon occurs is right.; [assump1] & int2 -> hypothesis; __DISPROVED__