The bald eagle sees the tiger. The bear eats the lion. The bear eats the tiger. The bear is young. The bear sees the tiger. The lion chases the bear. The lion eats the bear. The lion is young. The tiger chases the lion. The tiger eats the bald eagle. The tiger eats the bear. The tiger sees the lion. If something chases the tiger and the tiger sees the lion then it does not see the bear. If the bear eats the tiger then the tiger is blue. If something is nice then it does not chase the lion. If the bald eagle sees the lion and the tiger does not see the bald eagle then the lion sees the bear. If something sees the lion and it is not nice then it does not eat the lion. If something chases the lion and it does not see the bear then the bear sees the lion. If something sees the tiger and it eats the bald eagle then it chases the bald eagle. If something chases the bald eagle then the bald eagle eats the lion. If something eats the lion then it eats the bald eagle.
The bald eagle chases the bald eagle.
@0: The bald eagle sees the tiger.[(triple1)] The bear eats the lion.[(triple2)] The bear eats the tiger.[(triple3)] The bear is young.[(triple4)] The bear sees the tiger.[(triple5)] The lion chases the bear.[(triple6)] The lion eats the bear.[(triple7)] The lion is young.[(triple8)] The tiger chases the lion.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger eats the bear.[(triple11)] The tiger sees the lion.[(triple12)] @1: The bear eats the bald eagle.[(((triple2) -> rule9))] The tiger is blue.[(((triple3) -> rule2))] @2: The bear chases the bald eagle.[(((triple5 ((triple2) -> rule9)) -> rule7))] @3: The bald eagle eats the lion.[(((((triple5 ((triple2) -> rule9)) -> rule7)) -> rule8))] @4: The bald eagle eats the bald eagle.[(((((((triple5 ((triple2) -> rule9)) -> rule7)) -> rule8)) -> rule9))] @5: The bald eagle chases the bald eagle.[(((triple1 ((((((triple5 ((triple2) -> rule9)) -> rule7)) -> rule8)) -> rule9)) -> rule7))]