The bald eagle is green. The bald eagle is kind. The lion is kind. The lion likes the tiger. The lion sees the tiger. The lion visits the tiger. The tiger is kind. The tiger is rough. The tiger likes the bald eagle. The tiger likes the lion. If something likes the bald eagle then the bald eagle visits the tiger.
The tiger sees the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle is kind.[(triple2)] The lion is kind.[(triple3)] The lion likes the tiger.[(triple4)] The lion sees the tiger.[(triple5)] The lion visits the tiger.[(triple6)] The tiger is kind.[(triple7)] The tiger is rough.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger likes the lion.[(triple10)] @1: The bald eagle visits the tiger.[(((triple9) -> rule1))]