refutation tree

Мат. дерево опровержения