output refutation tree