the fact that that the pool does not occur but the civilian happens is brought about by the downturn is wrong.
sent1: the chromatographicness does not occur if the fact that that the hooks does not occur and the chromatographicness occurs is not true is true. sent2: the downturn does not occur if both the side-glance and the subdividing Diegueno happens. sent3: both the voltage and the disenfranchisement happens. sent4: the downturn happens if the side-glance happens and the subdividing Diegueno occurs. sent5: the side-glance occurs and the hooks occurs. sent6: that not the pool but the civilian happens is brought about by that the subdividing Diegueno does not occur. sent7: that the monocarpicness does not occur causes that the downfall does not occur but the Gibraltarianness occurs. sent8: the pool does not occur. sent9: that the ageism does not occur if the astrophysicalness happens and the hallelujah occurs is right. sent10: that the jab does not occur is caused by that the side-glance does not occur and the hooks does not occur. sent11: if the subdividing Diegueno does not occur the pool does not occur. sent12: that both the non-Audenesqueness and the semiparasiticness happens is triggered by the non-hydrometricness. sent13: the hooks occurs. sent14: the pool does not occur if the downturn occurs. sent15: the pelvimetry happens.
void -> assump1: Let's assume that the downturn occurs.; sent5 -> int1: the side-glance happens.; void -> assump2: Let's assume that the subdividing Diegueno happens.; int1 & assump2 -> int2: both the side-glance and the subdividing Diegueno happens.; sent2 & int2 -> int3: that the downturn does not occur hold.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the subdividing Diegueno does not occur.; sent6 & int5 -> int6: the pool does not occur and the civilianness happens.; [assump1] & int6 -> hypothesis;
the chromatographicness does not occur.
$hypothesis$ = the fact that that the pool does not occur but the civilian happens is brought about by the downturn is wrong. ; $context$ = sent1: the chromatographicness does not occur if the fact that that the hooks does not occur and the chromatographicness occurs is not true is true. sent2: the downturn does not occur if both the side-glance and the subdividing Diegueno happens. sent3: both the voltage and the disenfranchisement happens. sent4: the downturn happens if the side-glance happens and the subdividing Diegueno occurs. sent5: the side-glance occurs and the hooks occurs. sent6: that not the pool but the civilian happens is brought about by that the subdividing Diegueno does not occur. sent7: that the monocarpicness does not occur causes that the downfall does not occur but the Gibraltarianness occurs. sent8: the pool does not occur. sent9: that the ageism does not occur if the astrophysicalness happens and the hallelujah occurs is right. sent10: that the jab does not occur is caused by that the side-glance does not occur and the hooks does not occur. sent11: if the subdividing Diegueno does not occur the pool does not occur. sent12: that both the non-Audenesqueness and the semiparasiticness happens is triggered by the non-hydrometricness. sent13: the hooks occurs. sent14: the pool does not occur if the downturn occurs. sent15: the pelvimetry happens. ; $proof$ = 
void -> assump1: Let's assume that the downturn occurs.; sent5 -> int1: the side-glance happens.; void -> assump2: Let's assume that the subdividing Diegueno happens.; int1 & assump2 -> int2: both the side-glance and the subdividing Diegueno happens.; sent2 & int2 -> int3: that the downturn does not occur hold.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the subdividing Diegueno does not occur.; sent6 & int5 -> int6: the pool does not occur and the civilianness happens.; [assump1] & int6 -> hypothesis; __DISPROVED__