P53.hs

module Logic.P53 where

{-
Problem 53: (***) Resolution rule.

The problem description is a page long, don't even bother.
-}