the Sax is a Corse but it is not differentiable.
sent1: the transcription is a Corse if the fact that something is a shave that is a chorister hold. sent2: if the chancellery does not shave and it is not a chorister the Confucian does fit semidarkness. sent3: if the transcription is a Corse then the Sax is a Corse that is not differentiable. sent4: the chancellery is not a flour but it does shave. sent5: the chancellery is a kind of a chorister that fits semidarkness.
sent5 -> int1: the chancellery is a chorister.; sent4 -> int2: the chancellery shaves.; int1 & int2 -> int3: the chancellery is a kind of a shave and it is a chorister.; int3 -> int4: there exists something such that it is a kind of a shave and it is a chorister.; int4 & sent1 -> int5: the transcription is a kind of a Corse.; int5 & sent3 -> hypothesis;
the Confucian does fit semidarkness.
$hypothesis$ = the Sax is a Corse but it is not differentiable. ; $context$ = sent1: the transcription is a Corse if the fact that something is a shave that is a chorister hold. sent2: if the chancellery does not shave and it is not a chorister the Confucian does fit semidarkness. sent3: if the transcription is a Corse then the Sax is a Corse that is not differentiable. sent4: the chancellery is not a flour but it does shave. sent5: the chancellery is a kind of a chorister that fits semidarkness. ; $proof$ = 
sent5 -> int1: the chancellery is a chorister.; sent4 -> int2: the chancellery shaves.; int1 & int2 -> int3: the chancellery is a kind of a shave and it is a chorister.; int3 -> int4: there exists something such that it is a kind of a shave and it is a chorister.; int4 & sent1 -> int5: the transcription is a kind of a Corse.; int5 & sent3 -> hypothesis; __PROVED__