How resolution algorithm is used as a rule of inference in predicate logic? Convert the following sentences into FOPL.

• All over smart person’s are stupid.
• Children’s of all stupid persons arre naughty
• Roney is children of Harry
• Harry is over smart

Prove that “Roney is naughty” using resolution algorithm.