The bald eagle needs the dog. The dog eats the tiger. The dog is round. The dog needs the squirrel. The squirrel chases the tiger. The tiger eats the squirrel. The tiger is kind. The tiger is red. The tiger is round. The tiger is young. The tiger needs the bald eagle. The tiger needs the dog. If something is round and it does not need the squirrel then it is not young. If something is big and it needs the bald eagle then the bald eagle chases the tiger. If something eats the squirrel then it eats the tiger. If the tiger chases the dog and the tiger needs the bald eagle then the bald eagle does not eat the dog. If something eats the tiger and it is kind then it chases the dog. If something chases the tiger and the tiger is big then it is red.
The squirrel eats the squirrel.
@0: The bald eagle needs the dog.[(triple1)] The dog eats the tiger.[(triple2)] The dog is round.[(triple3)] The dog needs the squirrel.[(triple4)] The squirrel chases the tiger.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger is kind.[(triple7)] The tiger is red.[(triple8)] The tiger is round.[(triple9)] The tiger is young.[(triple10)] The tiger needs the bald eagle.[(triple11)] The tiger needs the dog.[(triple12)] @1: The tiger eats the tiger.[(((triple6) -> rule3))] @2: The tiger chases the dog.[(((((triple6) -> rule3) triple7) -> rule5))] @3: The bald eagle does not eat the dog.[(((((((triple6) -> rule3) triple7) -> rule5) triple11) -> rule4))]