the talking does not occur.
sent1: the annealing does not occur if that the internationalization occurs is correct. sent2: the fact that the unportableness does not occur and the obviation does not occur is wrong if the auditing happens. sent3: that both the Chadianness and the internationalization occurs does not hold. sent4: if the audit happens that the unportableness happens but the obviation does not occur is not right. sent5: that that the Chadianness occurs and the internationalization does not occur is not correct is not incorrect. sent6: if the fact that the unportableness does not occur and the obviation does not occur does not hold the fact that the heliacalness does not occur is not incorrect. sent7: the bigness does not occur or the spondaicness occurs or both. sent8: if the fact that the Chadianness but not the internationalization occurs does not hold the annealing does not occur. sent9: if that the piss-up occurs hold then the fact that the talking occurs is true. sent10: that either that the bigness does not occur or the spondaicness or both is not wrong leads to the spondaicness. sent11: if the spondaicness happens then the heliacalness happens. sent12: the fact that both the non-unportableness and the obviation occurs is not correct if the auditing happens. sent13: that the audit does not occur and the annealing does not occur triggers the piss-up.
void -> assump1: Let's assume that the auditing happens.; sent2 & assump1 -> int1: the fact that the unportableness does not occur and the obviation does not occur does not hold.; int1 & sent6 -> int2: that the heliacalness does not occur hold.; sent10 & sent7 -> int3: the spondaicness occurs.; sent11 & int3 -> int4: that the heliacalness occurs hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the audit does not occur.; sent8 & sent5 -> int7: the annealing does not occur.; int6 & int7 -> int8: the audit does not occur and the annealing does not occur.; int8 & sent13 -> int9: the piss-up occurs.; int9 & sent9 -> hypothesis;
$hypothesis$ = the talking does not occur. ; $context$ = sent1: the annealing does not occur if that the internationalization occurs is correct. sent2: the fact that the unportableness does not occur and the obviation does not occur is wrong if the auditing happens. sent3: that both the Chadianness and the internationalization occurs does not hold. sent4: if the audit happens that the unportableness happens but the obviation does not occur is not right. sent5: that that the Chadianness occurs and the internationalization does not occur is not correct is not incorrect. sent6: if the fact that the unportableness does not occur and the obviation does not occur does not hold the fact that the heliacalness does not occur is not incorrect. sent7: the bigness does not occur or the spondaicness occurs or both. sent8: if the fact that the Chadianness but not the internationalization occurs does not hold the annealing does not occur. sent9: if that the piss-up occurs hold then the fact that the talking occurs is true. sent10: that either that the bigness does not occur or the spondaicness or both is not wrong leads to the spondaicness. sent11: if the spondaicness happens then the heliacalness happens. sent12: the fact that both the non-unportableness and the obviation occurs is not correct if the auditing happens. sent13: that the audit does not occur and the annealing does not occur triggers the piss-up. ; $proof$ = 
void -> assump1: Let's assume that the auditing happens.; sent2 & assump1 -> int1: the fact that the unportableness does not occur and the obviation does not occur does not hold.; int1 & sent6 -> int2: that the heliacalness does not occur hold.; sent10 & sent7 -> int3: the spondaicness occurs.; sent11 & int3 -> int4: that the heliacalness occurs hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the audit does not occur.; sent8 & sent5 -> int7: the annealing does not occur.; int6 & int7 -> int8: the audit does not occur and the annealing does not occur.; int8 & sent13 -> int9: the piss-up occurs.; int9 & sent9 -> hypothesis; __DISPROVED__