the fact that the overkill happens and the profligacy happens does not hold.
sent1: not the boarding desquamation but the rectosigmoidness happens. sent2: the fact that both the overkill and the profligacy happens does not hold if the Attic does not occur. sent3: if the Oxonian happens the non-Atticness and the boarding Walker happens. sent4: that the boarding desquamation does not occur but the rectosigmoidness occurs leads to the overkill. sent5: the boarding desquamation does not occur. sent6: the profligacy occurs.
sent4 & sent1 -> int1: the overkill happens.; int1 & sent6 -> hypothesis;
that both the overkill and the profligacy happens does not hold.
$hypothesis$ = the fact that the overkill happens and the profligacy happens does not hold. ; $context$ = sent1: not the boarding desquamation but the rectosigmoidness happens. sent2: the fact that both the overkill and the profligacy happens does not hold if the Attic does not occur. sent3: if the Oxonian happens the non-Atticness and the boarding Walker happens. sent4: that the boarding desquamation does not occur but the rectosigmoidness occurs leads to the overkill. sent5: the boarding desquamation does not occur. sent6: the profligacy occurs. ; $proof$ = 
sent4 & sent1 -> int1: the overkill happens.; int1 & sent6 -> hypothesis; __DISPROVED__