solve completely and accurately all parts

From "Horses are animals," it follows that "The head of a horse is the head of an animal." Converting these to conjunctive normal form of sentences shows Horse (x)Animal(x) (HeadO(H,Y)Horse(Y))( HeadO (H,z) Animal (z)) Use resolution method to show that the conclusion follows from the premise