The bald eagle chases the dog. The bald eagle eats the squirrel. The bald eagle eats the tiger. The bald eagle visits the squirrel. The dog eats the bald eagle. The dog eats the squirrel. The dog is red. The dog visits the bald eagle. The dog visits the squirrel. The squirrel chases the bald eagle. The squirrel is kind. The squirrel does not visit the bald eagle. The tiger chases the squirrel. The tiger does not eat the dog. The tiger is kind. If someone chases the tiger and they chase the bald eagle then they do not eat the bald eagle. If someone eats the dog then they chase the bald eagle. If someone is kind and they chase the squirrel then they visit the squirrel.
The squirrel is kind.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle eats the tiger.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog eats the squirrel.[(triple6)] The dog is red.[(triple7)] The dog visits the bald eagle.[(triple8)] The dog visits the squirrel.[(triple9)] The squirrel chases the bald eagle.[(triple10)] The squirrel does not visit the bald eagle.[(triple12)] The squirrel is kind.[(triple11)] The tiger chases the squirrel.[(triple13)] The tiger does not eat the dog.[(triple14)] The tiger is kind.[(triple15)] @1: The tiger visits the squirrel.[(((triple15 triple13) -> rule3))]