The bald eagle eats the cow. The bald eagle eats the lion. The bald eagle is nice. The bald eagle is red. The bald eagle sees the cow. The cow is kind. The lion eats the bald eagle. The lion eats the tiger. The lion is kind. The lion visits the bald eagle. The tiger sees the bald eagle. The tiger visits the cow. If someone sees the bald eagle then the bald eagle sees the lion. If someone sees the bald eagle and they eat the lion then the lion is nice. If someone visits the tiger then the tiger is kind. If someone eats the cow and they are kind then the cow visits the lion. If someone visits the lion then they visit the tiger. If someone visits the cow and the cow eats the lion then they eat the lion. If someone is red and they see the lion then they are big. If someone eats the lion and they are big then they see the bald eagle.
The bald eagle does not see the bald eagle.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle sees the cow.[(triple5)] The cow is kind.[(triple6)] The lion eats the bald eagle.[(triple7)] The lion eats the tiger.[(triple8)] The lion is kind.[(triple9)] The lion visits the bald eagle.[(triple10)] The tiger sees the bald eagle.[(triple11)] The tiger visits the cow.[(triple12)] @1: The bald eagle sees the lion.[(((triple11) -> rule1))] @2: The bald eagle is big.[(((triple4 ((triple11) -> rule1)) -> rule7))] @3: The bald eagle sees the bald eagle.[(((triple2 ((triple4 ((triple11) -> rule1)) -> rule7)) -> rule8))] @4: The lion is nice.[(((((triple2 ((triple4 ((triple11) -> rule1)) -> rule7)) -> rule8) triple2) -> rule2))]