Homework on §6.3—assigned Mon 10/24 and due Wed 10/26

(i) Use derivations to show:
a = fb, fc = b, Ra(fc) ⇒ (¬ fb = fc → ¬ a = b) ∧ (b = c → R(fb)a)

(ii) Analyze the following in as much detail as possible:
Sam is the seller and he is a friend of the brother of the buyer's father