The bald eagle chases the lion. The cow sees the bald eagle. The lion sees the cow. If something chases the bald eagle and it chases the lion then the bald eagle is red. If something sees the cow then it sees the bald eagle. If something is nice then it sees the bald eagle. If something eats the cow then it is blue. If something sees the cow then it is blue. If something eats the cow then it is young.
The bald eagle is blue.
@0: The bald eagle chases the lion.[(triple1)] The cow sees the bald eagle.[(triple2)] The lion sees the cow.[(triple3)] @1: The lion is blue.[(((triple3) -> rule5))] The lion sees the bald eagle.[(((triple3) -> rule2))]