Consider the following sentences:

a. If an animal has feathers then it flies.

b. If an animal flies and lays eggs then it is a bird.

c. Tracy is an animal that has feathers and lays eggs.

Prove by natural deduction (proof tree) that Tracy is a bird.

Prove by resolution that Tracy is a bird.