II. BACKWARD CHAINING (9 pts)

Consider the following Facts that you just received about an animal Splashy:

F1 Splashy has feathers

F2 Splashy lays eggs

F3 Splashy does not fly

F4 Splashy is black and white

F5 Splashy swims

F6 Splashy has long legs

F7 Splashy has long neck

1. Use Backward Chaining, with the rules already in your KB (see attached) and facts F1-F7, to determine what kind of bird is Splashy (i.e., is Splashy an ostrich, albatross, or penguin?). Check for each and every type of bird. Check the KB in order for things that need to be satisfied (e.g., R1 before R2 for satisfying some query RX). Indicate your answer by showing what is the sequence in which the rules are used, what each rule is trying to do, and whether each rule succeeds (or where it fails). Is the result peculiar?