Everyone loves and respects clowns. All logicians are clowns. Show that everyone loves and respects logicians. First thing to do is translate the sentences into relational logic. Everyone loves and respects clowns.
All logicians are clowns.
Everyone loves and respects logicians. However, when we translate the premises into clausal form, we have to watch out for variable renaming. Now we can finally start resolving. The unifiers used for each step are shown. Neg. goal 5.