Problem $2$

AAd,$h$ Horse $(h{)}^{{?}^{?}}$Dog$(d)=>$ Faster$($h$,$ d$)$

AAg Greyhound$($g$)=>$Dog$(g)$

EEg Greyhound$($g$)$ Rabbit$($r$)=>$ Faster $(g,r)$

Horse$($Amigo$)$

Rabbit$($Bunny$)$

AAx,$y,z$ Faster$($x$,$ y$){?}^{{?}^{?}}$ Faster $(y,z)=>$ Faster$($x$,$ z$)$

$($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 your work in the format shown below.

First, negate $$ to produce

Resolve

with

to produce

Resolve

with

to produce

Resolve

with

to produce