both the disfranchisement and the quitting happens.
sent1: if both the countering and the uselessness happens the disfranchisement does not occur. sent2: the fact that the quitting and the counter happens is not wrong. sent3: the disfranchisement occurs if not the workshop but the line happens. sent4: the practice occurs. sent5: that the disfranchisement does not occur is prevented by that both the workshop and the lining happens. sent6: that the disfranchisement does not occur triggers that the pointlessness happens and the quitting occurs. sent7: not the workshop but the lining happens.
sent3 & sent7 -> int1: the disfranchisement occurs.; sent2 -> int2: the quitting happens.; int1 & int2 -> hypothesis;
that the pointlessness happens is not false.
$hypothesis$ = both the disfranchisement and the quitting happens. ; $context$ = sent1: if both the countering and the uselessness happens the disfranchisement does not occur. sent2: the fact that the quitting and the counter happens is not wrong. sent3: the disfranchisement occurs if not the workshop but the line happens. sent4: the practice occurs. sent5: that the disfranchisement does not occur is prevented by that both the workshop and the lining happens. sent6: that the disfranchisement does not occur triggers that the pointlessness happens and the quitting occurs. sent7: not the workshop but the lining happens. ; $proof$ = 
sent3 & sent7 -> int1: the disfranchisement occurs.; sent2 -> int2: the quitting happens.; int1 & int2 -> hypothesis; __PROVED__