The bald eagle is red. The bear is young. The cow is green. The lion sees the bear. If someone is blue then they see the bear. If the cow is blue then the cow likes the lion. If someone likes the lion then they see the cow. If someone likes the cow and the cow is red then they see the bald eagle. If someone likes the cow and the cow visits the bald eagle then the cow likes the bald eagle. Green people are blue.
The cow likes the cow.
@0: The bald eagle is red.[(triple1)] The bear is young.[(triple2)] The cow is green.[(triple3)] The lion sees the bear.[(triple4)] @1: The cow is blue.[(((triple3) -> rule6))] @2: The cow likes the lion.[(((((triple3) -> rule6)) -> rule2))] The cow sees the bear.[(((((triple3) -> rule6)) -> rule1))] @3: The cow sees the cow.[(((((((triple3) -> rule6)) -> rule2)) -> rule3))]