the exposing does not occur if that the vibrating but not the sighting happens is wrong.
sent1: the elective does not occur and the wilting occurs if the subjecting phoebe occurs. sent2: the chauvinism does not occur. sent3: the Arabic happens and the depriving sabertooth does not occur if the siliceousness occurs. sent4: if the narrating beeline occurs the thermoplasticness occurs. sent5: if the subjecting gemma does not occur that the onness happens but the depriving decumary does not occur does not hold. sent6: the vibrating occurs and the sighting does not occur if the exposing occurs. sent7: the expose does not occur if the vibrating does not occur. sent8: if that the tattle happens hold the nautch but not the pericardialness occurs. sent9: if the vibrating but not the sighting happens the expose does not occur. sent10: the sighting occurs. sent11: the expose does not occur if that the vibrating occurs and the sighting happens is incorrect. sent12: the nonretractileness and the non-nonionicness occurs. sent13: that the Slavonicness does not occur hold. sent14: if the elective does not occur then the expose and the e-commerce occurs. sent15: if that the onness happens but the depriving decumary does not occur is false then the subjecting phoebe occurs.
void -> assump2: Let's assume that the exposing happens.; sent6 & assump2 -> int1: the vibrating but not the sighting happens.; void -> assump1: Let's assume that the fact that the vibrating occurs but the sighting does not occur is not true.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the exposing does not occur hold.; [assump1] & int3 -> hypothesis;
the e-commerce happens.
$hypothesis$ = the exposing does not occur if that the vibrating but not the sighting happens is wrong. ; $context$ = sent1: the elective does not occur and the wilting occurs if the subjecting phoebe occurs. sent2: the chauvinism does not occur. sent3: the Arabic happens and the depriving sabertooth does not occur if the siliceousness occurs. sent4: if the narrating beeline occurs the thermoplasticness occurs. sent5: if the subjecting gemma does not occur that the onness happens but the depriving decumary does not occur does not hold. sent6: the vibrating occurs and the sighting does not occur if the exposing occurs. sent7: the expose does not occur if the vibrating does not occur. sent8: if that the tattle happens hold the nautch but not the pericardialness occurs. sent9: if the vibrating but not the sighting happens the expose does not occur. sent10: the sighting occurs. sent11: the expose does not occur if that the vibrating occurs and the sighting happens is incorrect. sent12: the nonretractileness and the non-nonionicness occurs. sent13: that the Slavonicness does not occur hold. sent14: if the elective does not occur then the expose and the e-commerce occurs. sent15: if that the onness happens but the depriving decumary does not occur is false then the subjecting phoebe occurs. ; $proof$ = 
void -> assump2: Let's assume that the exposing happens.; sent6 & assump2 -> int1: the vibrating but not the sighting happens.; void -> assump1: Let's assume that the fact that the vibrating occurs but the sighting does not occur is not true.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the exposing does not occur hold.; [assump1] & int3 -> hypothesis; __PROVED__