that if the chelate occurs the fact that the laryngospasm does not occur hold does not hold.
sent1: the laryngospasm does not occur if the fact that both the non-chelateness and the non-inexhaustibleness occurs is wrong. sent2: that the inexhaustibleness does not occur yields that not the duster but the chelate happens. sent3: the chelateness happens but the inexhaustibleness does not occur. sent4: the reversion does not occur. sent5: the inexhaustibleness does not occur if the laryngospasm happens. sent6: the laryngospasm happens if that the purification does not occur and the laryngospasm does not occur is not right. sent7: the inexhaustibleness does not occur.
void -> assump2: Let's assume that the non-chelateness and the exhaustibleness happens.; assump2 -> int1: the fact that the chelateness does not occur is true.; void -> assump1: Let's assume that the chelateness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the chelating does not occur and the inexhaustibleness does not occur is not right.; int3 & sent1 -> int4: the laryngospasm does not occur.; [assump1] & int4 -> hypothesis;
that the duster does not occur is not false.
$hypothesis$ = that if the chelate occurs the fact that the laryngospasm does not occur hold does not hold. ; $context$ = sent1: the laryngospasm does not occur if the fact that both the non-chelateness and the non-inexhaustibleness occurs is wrong. sent2: that the inexhaustibleness does not occur yields that not the duster but the chelate happens. sent3: the chelateness happens but the inexhaustibleness does not occur. sent4: the reversion does not occur. sent5: the inexhaustibleness does not occur if the laryngospasm happens. sent6: the laryngospasm happens if that the purification does not occur and the laryngospasm does not occur is not right. sent7: the inexhaustibleness does not occur. ; $proof$ = 
void -> assump2: Let's assume that the non-chelateness and the exhaustibleness happens.; assump2 -> int1: the fact that the chelateness does not occur is true.; void -> assump1: Let's assume that the chelateness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that the chelating does not occur and the inexhaustibleness does not occur is not right.; int3 & sent1 -> int4: the laryngospasm does not occur.; [assump1] & int4 -> hypothesis; __DISPROVED__