Question $(5)$: $-$ Explain the resolution method in artificial intelligence used for

automated theorem proving. How does it apply to propositional and predicate logic?

Consider the following knowledge base $($ KB $)$ about animals:

All mammals have hair.

All mammals are warm$-$blooded.

Birds do not have teeth.

Birds lay eggs.

All cats are mammals.

Whisker is a cat.

Tweety is a bird.

Whisker is not warm$-$blooded.

Apply the resolution and prove the inference "Whiskers is warm$-$blooded".hy