the sightreader is not pelvic.
sent1: everything is not nonlinear but a cockney. sent2: if the celeriac is nonlinear and it is cockney then it is postprandial. sent3: the sightreader is pelvic if the prisoner does marshal Littre. sent4: everything is not nonlinear. sent5: if something is linear but not non-cockney it is postprandial. sent6: the prisoner does marshal Littre if the celeriac is postprandial. sent7: if a nonlinear thing is a kind of a cockney it is postprandial.
sent1 -> int1: the celeriac is not nonlinear but it is a cockney.; sent5 -> int2: if the celeriac is a kind of linear thing that is a cockney then it is postprandial.; int1 & int2 -> int3: the celeriac is postprandial.; int3 & sent6 -> int4: that the prisoner does marshal Littre is not false.; int4 & sent3 -> hypothesis;
$hypothesis$ = the sightreader is not pelvic. ; $context$ = sent1: everything is not nonlinear but a cockney. sent2: if the celeriac is nonlinear and it is cockney then it is postprandial. sent3: the sightreader is pelvic if the prisoner does marshal Littre. sent4: everything is not nonlinear. sent5: if something is linear but not non-cockney it is postprandial. sent6: the prisoner does marshal Littre if the celeriac is postprandial. sent7: if a nonlinear thing is a kind of a cockney it is postprandial. ; $proof$ = 
sent1 -> int1: the celeriac is not nonlinear but it is a cockney.; sent5 -> int2: if the celeriac is a kind of linear thing that is a cockney then it is postprandial.; int1 & int2 -> int3: the celeriac is postprandial.; int3 & sent6 -> int4: that the prisoner does marshal Littre is not false.; int4 & sent3 -> hypothesis; __DISPROVED__