Answer to the Steamroller Problem:
“The fox likes to eat the bird which likes to eat
the grain.”
Why?
- The bird is a plant eating animal because it does not like to
eat snails, which like to eat some plant, so it does not like
to eat ALL such animals.
- Therefore it must like to eat all plants.
- The fox is not a plant eating animal, because the wolf
does not like to eat all plants (specifically grain), and therefore
must like eating all animals which like to eat some plant.
- But it does not like to eat foxes.
- Therefore foxes cannot be animals which like to eat some plant.
Click here to see EPILOG's
reasoning process!