Exercise 9.7 [fol-horses-exercise]

Write down logical representations for the following sentences, suitable for use with Generalized Modus Ponens:

1. Horses, cows, and pigs are mammals.

2. An offspring of a horse is a horse.

3. Bluebeard is a horse.

4. Bluebeard is Charlie’s parent.

5. Offspring and parent are inverse relations.

6. Every mammal has a parent.