The bald eagle chases the squirrel. The bald eagle eats the lion. The bald eagle is nice. The bald eagle is red. The lion chases the tiger. The squirrel chases the bald eagle. The squirrel eats the bald eagle. The squirrel is rough. The tiger chases the bald eagle. The tiger chases the lion. The tiger chases the squirrel. The tiger eats the bald eagle. The tiger is cold. The tiger is green. The tiger is rough. The tiger likes the lion. If something likes the lion then it is red. If something eats the bald eagle and it likes the bald eagle then it likes the tiger. If something is red then it chases the tiger.
The squirrel chases the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The lion chases the tiger.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The squirrel eats the bald eagle.[(triple7)] The squirrel is rough.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the lion.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger is cold.[(triple13)] The tiger is green.[(triple14)] The tiger is rough.[(triple15)] The tiger likes the lion.[(triple16)] @1: The bald eagle chases the tiger.[(((triple4) -> rule3))] The tiger is red.[(((triple16) -> rule1))] @2: The tiger chases the tiger.[(((((triple16) -> rule1)) -> rule3))]