Hone your skill with first-order predicate logic by expanding into relations. An example: "If I am taller than my son and my son is taller than my wife, then I am taller than my wife." This relation is obvious, but the techniques you learn allow you to prove subtler cases....