How do you use resolution to solve FOL and CNF sentences?

Prompt: Use resolution to answer the question "Is there a member of the Girls Coding Club who is a Linux-user and not a Windows-user?"

Blossom, Bubbles and Buttercup are members of the Girls Coding Club.

Every member of the Girls Coding Club is either a Linux-user or a Windows-user or both.

No Linux-user likes Microsoft.

All Windows-users like MSWord.

Buttercup dislikes whatever Blossom likes and likes whatever Blossom dislikes.

Blossom likes Microsoft and MSWord.

1.

FOL: Blossom, Bubble and Buttercup are menbers of Girls Coding Club

CNF: member(Blossom) member(Bubble) member(Buttercup) --- (ANS)

2.

FOL: For all x (member(x) ---->Linux(x) or Windows(x) or (Linux(x) and Windows(x))

CNF:

member(x) (Linux(x) Windows(x) (Linux(x) Windows(x)))

member(x) ( Linux(x) Windows(x) (Linux(x) Windows(x) ))

( member(x) (Linux(x) Windows(x) (Linux(x) Windows(x) )))

( member(x) Linux(x) Windows(x) (Linux(x) Windows(x) ))) --- (ANS)

3.

FOL: For all x(Linux(x)--->not likes(x,Microsoft)

CNF:

Linux(x) likes(x,Microsoft)

Linux(x) likes(x,Microsoft)

(Linux(x) likes(x,Microsoft)) --- (ANS)

4.

FOL: Far all x (Windows(x)-->likes(x,MSWord)

CNF:

Windows(x) likes(x,MSWord)

Windows(x) likes(x,MSWord)

(Windows(x) likes(x,MSWord)) --- (ANS)

5.

FOL:

a) For all x (Likes(Buttercup,x)--->Not Likes(Blossom,x))

b) For all x (Not Likes(Buttercup,x)---->Likes(Blossom,x))

CNF:

a)

Likes(Buttercup,x) Likes(Blossom,x)

Likes(Buttercup,x) Likes(Blossom,x)

(Likes(Buttercup,x) Likes(Blossom,x)) --- (ANS)

b)

Likes(Buttercup,x) Likes(Blossom,x)

Likes(Buttercup,x) Likes(Blossom,x)

( Likes(Buttercup,x) Likes(Blossom,x)) --- (ANS)

6.

FOL: Likes(Blossom,Microsoft) and Likes(Blossom, MSWord)

CNF: Likes(Blossom,Microsoft) Likes(Blossom, MSWord)