the untuning metropolitan does not occur.
sent1: the fact that both the ban and the resonance occurs is not correct if that the unchangeableness does not occur is not wrong. sent2: the fact that the counter but not the smell happens is incorrect if the untuning lapin does not occur. sent3: if the resonance does not occur and the ACE does not occur that the unilateralness does not occur is correct. sent4: if the fact that the banning occurs and the resonance occurs is incorrect then the resonance does not occur. sent5: the untuning metropolitan does not occur if either the untuning lapin happens or the smelling does not occur or both. sent6: if the fact that the countering but not the smell occurs is false the gorging does not occur. sent7: the countering does not occur. sent8: the counter happens if the smelling occurs. sent9: if the unilateralness does not occur then not the untuning lapin but the untuning metropolitan occurs. sent10: the unchangeableness does not occur.
void -> assump1: Let's assume that the smelling occurs.; sent8 & assump1 -> int1: the countering occurs.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the smell does not occur is not incorrect.; int3 -> int4: the untuning lapin happens and/or the smell does not occur.; int4 & sent5 -> hypothesis;
the gorging does not occur.
sent1 & sent10 -> int5: the fact that the banning and the resonance happens does not hold.; sent4 & int5 -> int6: that the resonance does not occur hold.;
$hypothesis$ = the untuning metropolitan does not occur. ; $context$ = sent1: the fact that both the ban and the resonance occurs is not correct if that the unchangeableness does not occur is not wrong. sent2: the fact that the counter but not the smell happens is incorrect if the untuning lapin does not occur. sent3: if the resonance does not occur and the ACE does not occur that the unilateralness does not occur is correct. sent4: if the fact that the banning occurs and the resonance occurs is incorrect then the resonance does not occur. sent5: the untuning metropolitan does not occur if either the untuning lapin happens or the smelling does not occur or both. sent6: if the fact that the countering but not the smell occurs is false the gorging does not occur. sent7: the countering does not occur. sent8: the counter happens if the smelling occurs. sent9: if the unilateralness does not occur then not the untuning lapin but the untuning metropolitan occurs. sent10: the unchangeableness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the smelling occurs.; sent8 & assump1 -> int1: the countering occurs.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the smell does not occur is not incorrect.; int3 -> int4: the untuning lapin happens and/or the smell does not occur.; int4 & sent5 -> hypothesis; __PROVED__