the dottle is not a canalization.
sent1: something is not reverent if that it is not a welt is not incorrect. sent2: if the hide is not mutafacient the gal does not descry gal but it is a dark. sent3: the dottle is not a kind of a welt. sent4: if something is a dark then the fact that it is glottochronological is not wrong. sent5: if the dottle is not a welt it is not a canalization.
sent5 & sent3 -> hypothesis;
the dottle is a canalization.
sent4 -> int1: the gal is glottochronological if it is a kind of a dark.;
$hypothesis$ = the dottle is not a canalization. ; $context$ = sent1: something is not reverent if that it is not a welt is not incorrect. sent2: if the hide is not mutafacient the gal does not descry gal but it is a dark. sent3: the dottle is not a kind of a welt. sent4: if something is a dark then the fact that it is glottochronological is not wrong. sent5: if the dottle is not a welt it is not a canalization. ; $proof$ = 
sent5 & sent3 -> hypothesis; __PROVED__