Refutation (First-Order Resolution)

first-order-logic resolution