the seizure does not occur and the unlivableness occurs.
sent1: the fallout happens. sent2: the non-naturisticness brings about that not the trafficking but the spreading wine happens. sent3: that the inculpatoriness does not occur is true. sent4: not the runoff but the forgetfulness occurs. sent5: the fact that the non-clozeness and the respecting Mozambican occurs is wrong if the botryoidness occurs. sent6: the autoradiographicness does not occur. sent7: if the botryoidness does not occur the seizure does not occur and the unlivableness occurs. sent8: the unlivableness occurs. sent9: the clozeness does not occur if the autoradiographicness does not occur. sent10: the reversal does not occur. sent11: the clozeness does not occur. sent12: the acupuncture does not occur and the rejoicing occurs if the Ping does not occur. sent13: if the botryoidness happens then that the clozeness occurs and the respecting Mozambican happens is incorrect. sent14: that the non-vesicalness and the spreading carnelian happens is wrong. sent15: not the diving intransitivity but the aggro happens if the supportiveness does not occur. sent16: the diving phonebook occurs. sent17: if the autoradiographicness does not occur not the clozeness but the respecting Mozambican happens.
void -> assump1: Let's assume that the botryoidness happens.; sent5 & assump1 -> int1: the fact that both the non-clozeness and the respecting Mozambican occurs is not true.; sent17 & sent6 -> int2: both the non-clozeness and the respecting Mozambican occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the botryoidness does not occur.; int4 & sent7 -> hypothesis;
that the seizure does not occur and the unlivableness happens does not hold.
 -> hypothesis;
$hypothesis$ = the seizure does not occur and the unlivableness occurs. ; $context$ = sent1: the fallout happens. sent2: the non-naturisticness brings about that not the trafficking but the spreading wine happens. sent3: that the inculpatoriness does not occur is true. sent4: not the runoff but the forgetfulness occurs. sent5: the fact that the non-clozeness and the respecting Mozambican occurs is wrong if the botryoidness occurs. sent6: the autoradiographicness does not occur. sent7: if the botryoidness does not occur the seizure does not occur and the unlivableness occurs. sent8: the unlivableness occurs. sent9: the clozeness does not occur if the autoradiographicness does not occur. sent10: the reversal does not occur. sent11: the clozeness does not occur. sent12: the acupuncture does not occur and the rejoicing occurs if the Ping does not occur. sent13: if the botryoidness happens then that the clozeness occurs and the respecting Mozambican happens is incorrect. sent14: that the non-vesicalness and the spreading carnelian happens is wrong. sent15: not the diving intransitivity but the aggro happens if the supportiveness does not occur. sent16: the diving phonebook occurs. sent17: if the autoradiographicness does not occur not the clozeness but the respecting Mozambican happens. ; $proof$ = 
void -> assump1: Let's assume that the botryoidness happens.; sent5 & assump1 -> int1: the fact that both the non-clozeness and the respecting Mozambican occurs is not true.; sent17 & sent6 -> int2: both the non-clozeness and the respecting Mozambican occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the botryoidness does not occur.; int4 & sent7 -> hypothesis; __PROVED__