The bald eagle eats the lion. The cow is green. The lion chases the bald eagle. If someone likes the lion and the lion chases the bald eagle then the lion is red. If someone is green then they eat the cow. If someone eats the cow then they like the lion.
The lion is not red.
@0: The bald eagle eats the lion.[(triple1)] The cow is green.[(triple2)] The lion chases the bald eagle.[(triple3)] @1: The cow eats the cow.[(((triple2) -> rule2))] @2: The cow likes the lion.[(((((triple2) -> rule2)) -> rule3))] @3: The lion is red.[(((((((triple2) -> rule2)) -> rule3) triple3) -> rule1))]