refutation graph

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