the fact that the drilling weekday does not occur and the reheating autoradiography does not occur is wrong.
sent1: the purge happens if the estuarineness does not occur. sent2: if the fact that the reheating Austrian occurs is right then that the devoting happens is true. sent3: that both the non-estuarineness and the karaoke happens is caused by that the repeatableness occurs. sent4: the employment does not occur and the repeatableness occurs. sent5: that the parking and/or the hurricane occurs causes that the purging does not occur. sent6: if the welcomeness happens the insufflating blain does not occur. sent7: if that the drilling weekday does not occur and the reheating autoradiography does not occur does not hold then the reheating Austrian occurs. sent8: if that the devoting occurs hold the parking happens. sent9: the iniquity happens.
void -> assump1: Let's assume that the fact that the fact that the drilling weekday does not occur and the reheating autoradiography does not occur is not incorrect does not hold.; sent7 & assump1 -> int1: the reheating Austrian happens.; int1 & sent2 -> int2: the devoting happens.; int2 & sent8 -> int3: the parking occurs.; int3 -> int4: either the parking or the hurricane or both happens.; int4 & sent5 -> int5: the purge does not occur.; sent4 -> int6: the repeatableness occurs.; sent3 & int6 -> int7: the estuarineness does not occur but the karaoke happens.; int7 -> int8: the estuarineness does not occur.; sent1 & int8 -> int9: the purge happens.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the fact that the drilling weekday does not occur and the reheating autoradiography does not occur is wrong. ; $context$ = sent1: the purge happens if the estuarineness does not occur. sent2: if the fact that the reheating Austrian occurs is right then that the devoting happens is true. sent3: that both the non-estuarineness and the karaoke happens is caused by that the repeatableness occurs. sent4: the employment does not occur and the repeatableness occurs. sent5: that the parking and/or the hurricane occurs causes that the purging does not occur. sent6: if the welcomeness happens the insufflating blain does not occur. sent7: if that the drilling weekday does not occur and the reheating autoradiography does not occur does not hold then the reheating Austrian occurs. sent8: if that the devoting occurs hold the parking happens. sent9: the iniquity happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fact that the drilling weekday does not occur and the reheating autoradiography does not occur is not incorrect does not hold.; sent7 & assump1 -> int1: the reheating Austrian happens.; int1 & sent2 -> int2: the devoting happens.; int2 & sent8 -> int3: the parking occurs.; int3 -> int4: either the parking or the hurricane or both happens.; int4 & sent5 -> int5: the purge does not occur.; sent4 -> int6: the repeatableness occurs.; sent3 & int6 -> int7: the estuarineness does not occur but the karaoke happens.; int7 -> int8: the estuarineness does not occur.; sent1 & int8 -> int9: the purge happens.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__