The bald eagle eats the dog. The bald eagle visits the bear. The bald eagle visits the tiger. The bear is red. The dog is rough. The tiger eats the bear. The tiger is cold. If the dog is young and the dog visits the tiger then the dog is rough. If something eats the bear then it needs the dog.
The dog is not rough.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle visits the bear.[(triple2)] The bald eagle visits the tiger.[(triple3)] The bear is red.[(triple4)] The dog is rough.[(triple5)] The tiger eats the bear.[(triple6)] The tiger is cold.[(triple7)] @1: The tiger needs the dog.[(((triple6) -> rule2))]