deduction tree

Мат. дерево вывода