The bald eagle is nice. The bald eagle is young. The bald eagle likes the dog. The dog is red. The dog visits the bald eagle. The squirrel needs the bald eagle. The squirrel needs the dog. The squirrel visits the tiger. The tiger likes the bald eagle. The tiger needs the dog. The tiger needs the squirrel. The tiger visits the squirrel. If something visits the tiger then the tiger likes the bald eagle.
The squirrel does not need the dog.
@0: The bald eagle is nice.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle likes the dog.[(triple3)] The dog is red.[(triple4)] The dog visits the bald eagle.[(triple5)] The squirrel needs the bald eagle.[(triple6)] The squirrel needs the dog.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger likes the bald eagle.[(triple9 OR ((triple8) -> rule1))] The tiger needs the dog.[(triple10)] The tiger needs the squirrel.[(triple11)] The tiger visits the squirrel.[(triple12)]