File:CompSciLogicUnsuccessfulTre.png

computer science logic: unsuccessful resolution refutation tree