The bald eagle chases the cat. The bald eagle is cold. The bald eagle visits the cat. The cat visits the bald eagle. The cat visits the dog. The dog is cold. The dog likes the tiger. The tiger chases the dog. The tiger is red. The tiger likes the dog. The tiger visits the bald eagle. The tiger visits the dog. If someone visits the cat then the cat chases the tiger. If the cat chases the tiger and the cat visits the bald eagle then the bald eagle visits the dog. If someone is kind and they visit the cat then the cat is kind.
The bald eagle chases the dog.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat visits the bald eagle.[(triple4)] The cat visits the dog.[(triple5)] The dog is cold.[(triple6)] The dog likes the tiger.[(triple7)] The tiger chases the dog.[(triple8)] The tiger is red.[(triple9)] The tiger likes the dog.[(triple10)] The tiger visits the bald eagle.[(triple11)] The tiger visits the dog.[(triple12)] @1: The cat chases the tiger.[(((triple3) -> rule1))] @2: The bald eagle visits the dog.[(((((triple3) -> rule1) triple4) -> rule2))]