that both the Circumcision and the bioremediation happens does not hold.
sent1: the fact that both the Circumcision and the bioremediation happens does not hold if the dissenting Jacobinism does not occur. sent2: the dissenting Jacobinism occurs. sent3: the fact that the multiphaseness does not occur hold if the Circumcision does not occur. sent4: that the uptick does not occur and the multiphaseness does not occur does not hold. sent5: that the laicizing does not occur and the rubbing does not occur is incorrect. sent6: that the uptick does not occur but the multiphaseness happens is not right. sent7: both the bioremediation and the dissenting Jacobinism occurs. sent8: the coup does not occur if the fact that the cling occurs and the rubbing does not occur does not hold. sent9: the cuckoldry does not occur and the dissenting Jacobinism does not occur if the coup does not occur. sent10: the handout happens. sent11: that the thudding does not occur and the Laosness does not occur is triggered by the non-patristicsness. sent12: the dissenting millivolt happens. sent13: if the Circumcision does not occur the uptick does not occur and the multiphaseness does not occur. sent14: the noting does not occur. sent15: the foundering occurs. sent16: the multiphaseness does not occur. sent17: that the cling but not the rubbing occurs is incorrect if the thudding does not occur. sent18: that the transparency does not occur and the clenching does not occur is correct. sent19: if the fact that the spitter occurs hold the thudding does not occur and the purge occurs.
void -> assump1: Let's assume that the Circumcision does not occur.; sent13 & assump1 -> int1: the uptick does not occur and the multiphaseness does not occur.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Circumcision occurs.; sent7 -> int4: that the bioremediation happens is right.; int3 & int4 -> hypothesis;
the fact that the Circumcision occurs and the bioremediation happens does not hold.
$hypothesis$ = that both the Circumcision and the bioremediation happens does not hold. ; $context$ = sent1: the fact that both the Circumcision and the bioremediation happens does not hold if the dissenting Jacobinism does not occur. sent2: the dissenting Jacobinism occurs. sent3: the fact that the multiphaseness does not occur hold if the Circumcision does not occur. sent4: that the uptick does not occur and the multiphaseness does not occur does not hold. sent5: that the laicizing does not occur and the rubbing does not occur is incorrect. sent6: that the uptick does not occur but the multiphaseness happens is not right. sent7: both the bioremediation and the dissenting Jacobinism occurs. sent8: the coup does not occur if the fact that the cling occurs and the rubbing does not occur does not hold. sent9: the cuckoldry does not occur and the dissenting Jacobinism does not occur if the coup does not occur. sent10: the handout happens. sent11: that the thudding does not occur and the Laosness does not occur is triggered by the non-patristicsness. sent12: the dissenting millivolt happens. sent13: if the Circumcision does not occur the uptick does not occur and the multiphaseness does not occur. sent14: the noting does not occur. sent15: the foundering occurs. sent16: the multiphaseness does not occur. sent17: that the cling but not the rubbing occurs is incorrect if the thudding does not occur. sent18: that the transparency does not occur and the clenching does not occur is correct. sent19: if the fact that the spitter occurs hold the thudding does not occur and the purge occurs. ; $proof$ = 
void -> assump1: Let's assume that the Circumcision does not occur.; sent13 & assump1 -> int1: the uptick does not occur and the multiphaseness does not occur.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the Circumcision occurs.; sent7 -> int4: that the bioremediation happens is right.; int3 & int4 -> hypothesis; __DISPROVED__