the levorotation does not occur and the Hippocraticness does not occur.
sent1: both the non-antipollutionness and the ethicalness happens. sent2: if the antipollutionness occurs then the updating does not occur and the lithotomy does not occur. sent3: the levorotation does not occur if the chinook occurs and/or the distrustfulness happens. sent4: that the landslide happens is triggered by that the promotionalness does not occur and the updating lupine does not occur. sent5: if the lithotomy occurs then the updating occurs. sent6: the Sicilian does not occur. sent7: if the updating does not occur and the lithotomy does not occur the Anglo-catholicness happens. sent8: the fact that the updating does not occur is not incorrect. sent9: the distrustfulness is caused by that the lithotomy does not occur and the antipollutionness does not occur. sent10: the Hippocraticness does not occur. sent11: either the encapsulating Seoul or that the longitudinalness happens or both yields the non-wildingness. sent12: if the chinook occurs the levorotation does not occur.
void -> assump1: Let's assume that the lithotomy occurs.; sent5 & assump1 -> int1: the fact that the updating occurs is true.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the lithotomy does not occur.; sent1 -> int4: the antipollutionness does not occur.; int3 & int4 -> int5: the lithotomy does not occur and the antipollutionness does not occur.; int5 & sent9 -> int6: the distrustfulness occurs.; int6 -> int7: the chinook and/or the distrustfulness occurs.; int7 & sent3 -> int8: the levorotation does not occur.; int8 & sent10 -> hypothesis;
the fact that the levorotation does not occur and the Hippocraticness does not occur is wrong.
 -> hypothesis;
$hypothesis$ = the levorotation does not occur and the Hippocraticness does not occur. ; $context$ = sent1: both the non-antipollutionness and the ethicalness happens. sent2: if the antipollutionness occurs then the updating does not occur and the lithotomy does not occur. sent3: the levorotation does not occur if the chinook occurs and/or the distrustfulness happens. sent4: that the landslide happens is triggered by that the promotionalness does not occur and the updating lupine does not occur. sent5: if the lithotomy occurs then the updating occurs. sent6: the Sicilian does not occur. sent7: if the updating does not occur and the lithotomy does not occur the Anglo-catholicness happens. sent8: the fact that the updating does not occur is not incorrect. sent9: the distrustfulness is caused by that the lithotomy does not occur and the antipollutionness does not occur. sent10: the Hippocraticness does not occur. sent11: either the encapsulating Seoul or that the longitudinalness happens or both yields the non-wildingness. sent12: if the chinook occurs the levorotation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the lithotomy occurs.; sent5 & assump1 -> int1: the fact that the updating occurs is true.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the lithotomy does not occur.; sent1 -> int4: the antipollutionness does not occur.; int3 & int4 -> int5: the lithotomy does not occur and the antipollutionness does not occur.; int5 & sent9 -> int6: the distrustfulness occurs.; int6 -> int7: the chinook and/or the distrustfulness occurs.; int7 & sent3 -> int8: the levorotation does not occur.; int8 & sent10 -> hypothesis; __PROVED__