The bald eagle is green. The bald eagle needs the lion. The bald eagle sees the cat. The bald eagle sees the lion. The cat sees the bald eagle. The cow sees the bald eagle. The lion needs the bald eagle. If someone sees the cat and the cat is green then they visit the cat. If someone needs the cat and the cat needs the bald eagle then they are blue. If someone is blue and they need the lion then they see the lion. If someone sees the cow then the cow needs the bald eagle. If someone needs the bald eagle then they see the lion. If someone needs the cat then the cat is blue. If someone visits the lion and they are nice then the lion visits the cat. If someone needs the bald eagle and they see the lion then they see the cow.
The lion sees the cow.
@0: The bald eagle is green.[(triple1)] The bald eagle needs the lion.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle sees the lion.[(triple4)] The cat sees the bald eagle.[(triple5)] The cow sees the bald eagle.[(triple6)] The lion needs the bald eagle.[(triple7)] @1: The lion sees the lion.[(((triple7) -> rule5))] @2: The lion sees the cow.[(((triple7 ((triple7) -> rule5)) -> rule8))] @3: The cow needs the bald eagle.[(((((triple7 ((triple7) -> rule5)) -> rule8)) -> rule4))] @4: The cow sees the lion.[(((((((triple7 ((triple7) -> rule5)) -> rule8)) -> rule4)) -> rule5))] @5: The cow sees the cow.[(((((((triple7 ((triple7) -> rule5)) -> rule8)) -> rule4) ((((((triple7 ((triple7) -> rule5)) -> rule8)) -> rule4)) -> rule5)) -> rule8))]