if the fact that both the non-lung-likeness and the sidelining pinguecula happens is not true the Independence does not occur.
sent1: the fact that the fact that both the lung-likeness and the sidelining pinguecula happens is not correct hold. sent2: the fact that both the confining occlusion and the non-subclavianness happens is not correct if that the expiatoriness happens is not false. sent3: if that the contemning Exocet does not occur is right then that the roasting but not the iriticness happens is not right. sent4: the concourse does not occur. sent5: if that the non-lung-likeness and the sidelining pinguecula happens is not correct the contemning counterculture does not occur. sent6: if that the confining occlusion and the non-subclavianness happens does not hold the confining occlusion does not occur. sent7: that both the contemning counterculture and the Independence happens is brought about by that the contemning animator does not occur. sent8: the fact that the fact that not the ridiculing Trevithick but the imbuing happens does not hold hold if the Independence happens. sent9: if the conflicting does not occur and/or the nonmagneticness happens the conflicting does not occur. sent10: the expiatoriness occurs if that the roasting and the non-iriticness occurs does not hold. sent11: that that the permit does not occur and the confining edge happens is not true hold. sent12: if the contemning counterculture does not occur then that the Independence does not occur is correct. sent13: that the contemning animator does not occur and the confining Mister does not occur is triggered by that the conflicting does not occur. sent14: if the contemning Requiem happens the admixture does not occur. sent15: the fact that the refracting does not occur is not false. sent16: if the confining occlusion does not occur then the ridiculing suicide does not occur. sent17: the conflict does not occur and/or the nonmagneticness happens if that the ridiculing suicide does not occur is true.
void -> assump1: Let's assume that the fact that the lung-likeness does not occur and the sidelining pinguecula occurs is not correct.; sent5 & assump1 -> int1: the contemning counterculture does not occur.; sent12 & int1 -> int2: the fact that the Independence does not occur is not false.; [assump1] & int2 -> hypothesis;
that not the ridiculing Trevithick but the imbuing happens does not hold.
$hypothesis$ = if the fact that both the non-lung-likeness and the sidelining pinguecula happens is not true the Independence does not occur. ; $context$ = sent1: the fact that the fact that both the lung-likeness and the sidelining pinguecula happens is not correct hold. sent2: the fact that both the confining occlusion and the non-subclavianness happens is not correct if that the expiatoriness happens is not false. sent3: if that the contemning Exocet does not occur is right then that the roasting but not the iriticness happens is not right. sent4: the concourse does not occur. sent5: if that the non-lung-likeness and the sidelining pinguecula happens is not correct the contemning counterculture does not occur. sent6: if that the confining occlusion and the non-subclavianness happens does not hold the confining occlusion does not occur. sent7: that both the contemning counterculture and the Independence happens is brought about by that the contemning animator does not occur. sent8: the fact that the fact that not the ridiculing Trevithick but the imbuing happens does not hold hold if the Independence happens. sent9: if the conflicting does not occur and/or the nonmagneticness happens the conflicting does not occur. sent10: the expiatoriness occurs if that the roasting and the non-iriticness occurs does not hold. sent11: that that the permit does not occur and the confining edge happens is not true hold. sent12: if the contemning counterculture does not occur then that the Independence does not occur is correct. sent13: that the contemning animator does not occur and the confining Mister does not occur is triggered by that the conflicting does not occur. sent14: if the contemning Requiem happens the admixture does not occur. sent15: the fact that the refracting does not occur is not false. sent16: if the confining occlusion does not occur then the ridiculing suicide does not occur. sent17: the conflict does not occur and/or the nonmagneticness happens if that the ridiculing suicide does not occur is true. ; $proof$ = 
void -> assump1: Let's assume that the fact that the lung-likeness does not occur and the sidelining pinguecula occurs is not correct.; sent5 & assump1 -> int1: the contemning counterculture does not occur.; sent12 & int1 -> int2: the fact that the Independence does not occur is not false.; [assump1] & int2 -> hypothesis; __PROVED__