Help me solve both a and b $($a$)$ First convert each sentence to CNF$.$ Please show your work.

$($b$)$ Use resolution to prove the sentence $=$ Faster$($Amigo$,$ Bunny$)$ from the

given knowledge base. Please show vour work in the format shown below.

First, negate $$ to produce $.$

Resolve

with

to produce

Resolve

with

to produce

Resolve

with

to produce

$($a$)$ First convert each sentence to CNF$.$ Please show your work.

$($b$)$ Use resolution to prove the sentence $=$ Faster$($Amigo$,$ Bunny$)$ from the

given knowledge base. Please show vour work in the format shown below.

First, negate $$ to produce $.$

Resolve

with

to produce

Resolve

with

to produce

Resolve

with

to produce