The bald eagle is nice. The cow sees the lion. The lion needs the bald eagle. If the lion chases the bald eagle then the bald eagle needs the lion. If someone is big then they see the cow. If someone needs the cow then they are nice. If someone needs the bald eagle and the bald eagle is green then the bald eagle is kind. If someone is kind then they see the cow. If someone sees the cow then the cow is red. If someone sees the lion then the lion is kind. If someone is big then they see the bald eagle.
The lion is nice.
@0: The bald eagle is nice.[(triple1)] The cow sees the lion.[(triple2)] The lion needs the bald eagle.[(triple3)] @1: The lion is kind.[(((triple2) -> rule7))] @2: The lion sees the cow.[(((((triple2) -> rule7)) -> rule5))] @3: The cow is red.[(((((((triple2) -> rule7)) -> rule5)) -> rule6))]