The bald eagle chases the cat. The bald eagle visits the tiger. The cat chases the tiger. The cat likes the dog. The cat likes the tiger. The dog chases the bald eagle. The dog chases the cat. The dog chases the tiger. The dog is blue. The dog is rough. The dog is round. The dog likes the cat. The tiger is green. The tiger likes the dog. The tiger visits the dog. If someone chases the bald eagle and the bald eagle visits the tiger then the bald eagle is rough.
The tiger visits the dog.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle visits the tiger.[(triple2)] The cat chases the tiger.[(triple3)] The cat likes the dog.[(triple4)] The cat likes the tiger.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog chases the cat.[(triple7)] The dog chases the tiger.[(triple8)] The dog is blue.[(triple9)] The dog is rough.[(triple10)] The dog is round.[(triple11)] The dog likes the cat.[(triple12)] The tiger is green.[(triple13)] The tiger likes the dog.[(triple14)] The tiger visits the dog.[(triple15)] @1: The bald eagle is rough.[(((triple6 triple2) -> rule1))]