dedukti

Verb

 * 1) to deduce, to draw a conclusion