what clause results from applying the binary resolution inference rule to the following two sentences? Apply any required subsitutions to the resulting clause.

9. Resolution Theorem Proving 12 points] What clause results from applying the binary resolution inference rule to the following two sentences? Apply any required substitutions to the resulting clause. Person(x) V Neighbor(x, Tamika, Result(Movex, Fresno, Merced), s)) Resident(x, y, s) V-Neighbor(Fred, a, Result(Move(Fred, y, Merced), s)