The bald eagle eats the lion. The bald eagle likes the lion. The bald eagle visits the lion. The bald eagle visits the tiger. The lion likes the tiger. The lion visits the bald eagle. The tiger eats the lion. The tiger is blue. The tiger likes the bald eagle. The tiger likes the lion. If something eats the tiger and the tiger visits the bald eagle then the bald eagle likes the lion. If something likes the tiger then it is red.
The tiger is not young.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle visits the lion.[(triple3)] The bald eagle visits the tiger.[(triple4)] The lion likes the tiger.[(triple5)] The lion visits the bald eagle.[(triple6)] The tiger eats the lion.[(triple7)] The tiger is blue.[(triple8)] The tiger likes the bald eagle.[(triple9)] The tiger likes the lion.[(triple10)] @1: The lion is red.[(((triple5) -> rule2))]