Prove that Jerry is an actor by resolution using proof by contradiction starting with and using the negated goal of 0: Actor(Jerry) and then prove Actor(Jerry). The symbols X1, X2, and X3 are variables to be substituted. Carve away terms until you are left with a contradiction. Show step by step. Facts/Rules in knowledge base:

1: RockStar(X1) v Millionaire(X1) v Actor(X1)

2: Millionaire(X2) v Drives(X2, Ferrari)

3: Likes(X3, Snakes) v RockStar(X3)

4: Drives(Jerry, Ferrari)

5: Likes(Jerry, Snakes)