The bald eagle is red. The cow visits the bald eagle. The rabbit sees the bald eagle. If something sees the bald eagle then it visits the cow. If something chases the cow then it is green. If something chases the bald eagle and the bald eagle chases the rabbit then the bald eagle chases the cow. If the rabbit chases the bald eagle then the bald eagle chases the rabbit. If something is red then it chases the bald eagle. If something visits the cow then the cow is red.
The rabbit visits the cow.
@0: The bald eagle is red.[(triple1)] The cow visits the bald eagle.[(triple2)] The rabbit sees the bald eagle.[(triple3)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule5))] The rabbit visits the cow.[(((triple3) -> rule1))] @2: The cow is red.[(((((triple3) -> rule1)) -> rule6))] @3: The cow chases the bald eagle.[(((((((triple3) -> rule1)) -> rule6)) -> rule5))]