Homework on §6.3—assigned Mon 10/25 and due Wed 10/27

(i) Use derivations to show:
Ra(fc), d = fa, Fb → c = fb ⇒ Fa → (a = b → Rb(fd))

(ii) Analyze the following in as much detail as possible:
Tom didn’t enter a drawing, but he was a friend of the winner of the last one