The bald eagle is green. The dog sees the squirrel. The lion eats the dog. The squirrel sees the bald eagle. If someone is green then they eat the dog. If someone is nice then they eat the dog. If the squirrel eats the bald eagle and the squirrel is green then the squirrel does not eat the dog. If someone eats the dog and they are red then the dog eats the squirrel. If someone eats the bald eagle then they are young. If the dog does not visit the squirrel then the dog visits the lion.
The dog does not visit the lion.
@0: The bald eagle is green.[(triple1)] The dog sees the squirrel.[(triple2)] The lion eats the dog.[(triple3)] The squirrel sees the bald eagle.[(triple4)] @1: The bald eagle eats the dog.[(((triple1) -> rule1))]