Consider the knowledge base

$$

$$

$$

$$

$$

$.$

$$

$.$

$$

$$

$$

$$

$$

$.$

$$

$$

$$

$.$

$$

$$

$$

$.$

$$

$$

$$

$$

$$

$.$

$$

$$

$$

$.$

$$

$.$

$$

$$

$$

$$

$$

$.$

$($a$)$ Show how the bottom$-$up proof procedure works for this example. Give all logical consequences of

$$

$$

$$

$.$

$($b$)$

$$

is not a logical consequence of

$$

$$

$$

$.$ Give a model of

$$

$$

$$

in which

$$

is false.

$($c$)$

$$

is a logical consequence of

$$

$$

$$

$.$ Give a top$-$down derivation for the query

ask

$$

$$

$.$