File:CompSciLogicRefTree1.png

a refutation tree