Logic - Quantifiers / axiom and clausal forms

Question

Question :

Consider the following sentences and prove that "Diana will win the game"

1.All Players are clever.

2.Anyone who is clever and dedicated can play the game well.

3.Anyone who is playing the game well will win his/her game.

4.Diana is a dedicated player.

How do we represent the above facts in,

1)axiom form and

2) clausal form?

Answer 1

Diana is clever and a player.

Per (1) Diana is clever.

Per (2) Diana will play the game well.

Per (3) Diana will win the game.