that the Pretender does riddle demerit does not hold.
sent1: there exists something such that the fact that it does riddle demerit and it is a freedman is not correct. sent2: there is something such that it does riddle demerit and it incriminates blancmange. sent3: the fact that the Pretender does not riddle demerit is not false if there exists something such that that it is a freedman and it does incriminate blancmange does not hold. sent4: that the organist is a freedman that incriminates blancmange is false.
sent4 -> int1: there is something such that that it is a freedman and it does incriminate blancmange does not hold.; int1 & sent3 -> hypothesis;
$hypothesis$ = that the Pretender does riddle demerit does not hold. ; $context$ = sent1: there exists something such that the fact that it does riddle demerit and it is a freedman is not correct. sent2: there is something such that it does riddle demerit and it incriminates blancmange. sent3: the fact that the Pretender does not riddle demerit is not false if there exists something such that that it is a freedman and it does incriminate blancmange does not hold. sent4: that the organist is a freedman that incriminates blancmange is false. ; $proof$ = 
sent4 -> int1: there is something such that that it is a freedman and it does incriminate blancmange does not hold.; int1 & sent3 -> hypothesis; __PROVED__