The bald eagle likes the tiger. The bald eagle visits the squirrel. The bear is red. The bear is young. The bear likes the squirrel. The bear sees the tiger. The bear visits the bald eagle. The squirrel visits the bald eagle. The tiger is blue. The tiger likes the bear. The tiger sees the bald eagle. The tiger visits the bear. If someone visits the tiger and the tiger likes the bear then the bear likes the bald eagle. If someone likes the tiger then they see the bald eagle.
The bald eagle sees the bald eagle.
@0: The bald eagle likes the tiger.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The bear is red.[(triple3)] The bear is young.[(triple4)] The bear likes the squirrel.[(triple5)] The bear sees the tiger.[(triple6)] The bear visits the bald eagle.[(triple7)] The squirrel visits the bald eagle.[(triple8)] The tiger is blue.[(triple9)] The tiger likes the bear.[(triple10)] The tiger sees the bald eagle.[(triple11)] The tiger visits the bear.[(triple12)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule2))]