Convert First Order Logic to Conjunctive Normal Form -

• Anyone who is thin, tall and energetic will be a good basketball player

• Some people are not tall but good players of basketball.

• Anyone who is eating or eating a healthy diet will be energetic

• Saman is a thin and tall person who exercises

Task:

1. Write the above paragraph in the first order logic (FOL).
2. Convert them to the Convertible General Form (CNF).
3. Use the method of contradiction to check whether Saman is a good basketball player.

My answer for the part (i)

(1) ∀x thin (x) ∧ long (x) ∧ energetic (x) → good_backetball_player (x) (2) ∃x long (x) ¬ good_basketball_pliler (x) (3) ∀x do_exercise (x) ∨ eat_halth_food (x) → energetic (x) (4) thin (salmon) ∧ long (salmon) ∧ do_exercise (salmon)

Is it correct or not ?? Please tell me the mistake.