The bald eagle is kind. The bald eagle needs the cow. The bald eagle needs the lion. The bald eagle visits the lion. The cow is nice. The lion eats the tiger. The lion is round. The lion needs the cow. The lion needs the tiger. The tiger eats the lion. The tiger is round. The tiger needs the bald eagle. If the tiger visits the lion and the tiger visits the bald eagle then the bald eagle needs the lion. If someone needs the cow then they are blue. If someone eats the lion and the lion is blue then they are blue.
The bald eagle does not need the cow.
@0: The bald eagle is kind.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the lion.[(triple3)] The bald eagle visits the lion.[(triple4)] The cow is nice.[(triple5)] The lion eats the tiger.[(triple6)] The lion is round.[(triple7)] The lion needs the cow.[(triple8)] The lion needs the tiger.[(triple9)] The tiger eats the lion.[(triple10)] The tiger is round.[(triple11)] The tiger needs the bald eagle.[(triple12)] @1: The bald eagle is blue.[(((triple2) -> rule2))] The lion is blue.[(((triple8) -> rule2))] @2: The tiger is blue.[(((triple10 ((triple8) -> rule2)) -> rule3))]