the elaborating immigrant happens if the decampment occurs.
sent1: if the collar does not occur then that the point-of-saleness but not the snip happens is not correct. sent2: if the elaborating immigrant does not occur then that the lottery occurs and/or the leasing gawker occurs is not true. sent3: the collaring does not occur if that either the lottery or the leasing gawker or both occurs does not hold. sent4: the fact that the decampment does not occur is true if the fact that the point-of-saleness but not the snip occurs is not correct.
void -> assump1: Let's assume that the decampment occurs.; void -> assump2: Let's assume that the elaborating immigrant does not occur.; sent2 & assump2 -> int1: the fact that the lottery happens and/or the leasing gawker happens is incorrect.; sent3 & int1 -> int2: the collaring does not occur.; sent1 & int2 -> int3: that the fact that the point-of-saleness happens but the snipping does not occur is not incorrect is not true.; sent4 & int3 -> int4: the decampment does not occur.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the elaborating immigrant occurs.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the elaborating immigrant happens if the decampment occurs. ; $context$ = sent1: if the collar does not occur then that the point-of-saleness but not the snip happens is not correct. sent2: if the elaborating immigrant does not occur then that the lottery occurs and/or the leasing gawker occurs is not true. sent3: the collaring does not occur if that either the lottery or the leasing gawker or both occurs does not hold. sent4: the fact that the decampment does not occur is true if the fact that the point-of-saleness but not the snip occurs is not correct. ; $proof$ = 
void -> assump1: Let's assume that the decampment occurs.; void -> assump2: Let's assume that the elaborating immigrant does not occur.; sent2 & assump2 -> int1: the fact that the lottery happens and/or the leasing gawker happens is incorrect.; sent3 & int1 -> int2: the collaring does not occur.; sent1 & int2 -> int3: that the fact that the point-of-saleness happens but the snipping does not occur is not incorrect is not true.; sent4 & int3 -> int4: the decampment does not occur.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the elaborating immigrant occurs.; [assump1] & int6 -> hypothesis; __PROVED__