What example is the following?

Conclude the colour of a pet named Fritz.

The rule base (four rules):

1. If X croaks and X eats flies -Then X is a frog

2. If X chirps and X sings -Then X is a canary

3. If X is a frog -Then X is green

4. If X is a canary -Then X is yellow

Assume the following facts:

• Fritz croaks
• Fritz eats flies

By rule #1, the inference engine concludes: Fritz is a frog.

By rule #3, the inference engine concludes: Fritz is green.