The bald eagle is nice. The cow needs the bald eagle. The lion eats the bald eagle. If something is blue then it does not need the cow. If the bald eagle sees the cow then the bald eagle is cold. If something needs the bald eagle then it sees the cow. If the cow needs the bald eagle and the bald eagle needs the cow then the bald eagle eats the lion. If the cow is cold then the cow does not see the lion. If something sees the cow then it is blue.
The cow does not see the bald eagle.
@0: The bald eagle is nice.[(triple1)] The cow needs the bald eagle.[(triple2)] The lion eats the bald eagle.[(triple3)] @1: The cow sees the cow.[(((triple2) -> rule3))] @2: The cow is blue.[(((((triple2) -> rule3)) -> rule6))] @3: The cow does not need the cow.[(((((((triple2) -> rule3)) -> rule6)) -> rule1))]