the bargaining dark happens if the pervaporation happens.
sent1: the bargaining dark occurs if the invulnerableness does not occur but the pervaporation occurs. sent2: the griping flooding does not occur. sent3: if the bustling occurs the lexicostatisticness happens. sent4: the encoring happens. sent5: the gunfight occurs. sent6: that the seaming alkene occurs and the gunfight occurs prevents that the sameness happens. sent7: that the detoxing occurs hold. sent8: the sameness occurs. sent9: the seaming alkene happens if the invulnerableness occurs.
void -> assump1: Let's assume that the invulnerableness occurs.; sent9 & assump1 -> int1: the seaming alkene happens.; int1 & sent5 -> int2: the seaming alkene happens and the gunfight happens.; int2 & sent6 -> int3: the sameness does not occur.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the invulnerableness does not occur.; void -> assump2: Let's assume that the pervaporation happens.; int5 & assump2 -> int6: not the invulnerableness but the pervaporation occurs.; int6 & sent1 -> int7: the bargaining dark happens.; [assump2] & int7 -> hypothesis;
$hypothesis$ = the bargaining dark happens if the pervaporation happens. ; $context$ = sent1: the bargaining dark occurs if the invulnerableness does not occur but the pervaporation occurs. sent2: the griping flooding does not occur. sent3: if the bustling occurs the lexicostatisticness happens. sent4: the encoring happens. sent5: the gunfight occurs. sent6: that the seaming alkene occurs and the gunfight occurs prevents that the sameness happens. sent7: that the detoxing occurs hold. sent8: the sameness occurs. sent9: the seaming alkene happens if the invulnerableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the invulnerableness occurs.; sent9 & assump1 -> int1: the seaming alkene happens.; int1 & sent5 -> int2: the seaming alkene happens and the gunfight happens.; int2 & sent6 -> int3: the sameness does not occur.; int3 & sent8 -> int4: this is contradiction.; [assump1] & int4 -> int5: the invulnerableness does not occur.; void -> assump2: Let's assume that the pervaporation happens.; int5 & assump2 -> int6: not the invulnerableness but the pervaporation occurs.; int6 & sent1 -> int7: the bargaining dark happens.; [assump2] & int7 -> hypothesis; __PROVED__