The bald eagle does not chase the lion. The bald eagle chases the tiger. The bald eagle is blue. The bald eagle is red. The bald eagle is young. The bald eagle does not see the tiger. The lion likes the tiger. The lion does not see the bald eagle. The tiger is blue. The tiger is red. The tiger is young. The tiger likes the bald eagle. The tiger does not like the lion. The tiger sees the bald eagle. The tiger sees the lion. If something sees the lion then the lion is young. If something is big then it does not see the bald eagle. If something chases the lion and the lion is not blue then it is young.
The bald eagle chases the tiger.
@0: The bald eagle chases the tiger.[(triple2)] The bald eagle does not chase the lion.[(triple1)] The bald eagle does not see the tiger.[(triple6)] The bald eagle is blue.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is young.[(triple5)] The lion does not see the bald eagle.[(triple8)] The lion likes the tiger.[(triple7)] The tiger does not like the lion.[(triple13)] The tiger is blue.[(triple9)] The tiger is red.[(triple10)] The tiger is young.[(triple11)] The tiger likes the bald eagle.[(triple12)] The tiger sees the bald eagle.[(triple14)] The tiger sees the lion.[(triple15)] @1: The lion is young.[(((triple15) -> rule1))]