The cow visits the dog. The dog visits the lion. The lion visits the dog. If the dog visits the lion then the lion sees the cow. If someone sees the cow and they visit the dog then they visit the lion.
The lion is not blue.
@0: The cow visits the dog.[(triple1)] The dog visits the lion.[(triple2)] The lion visits the dog.[(triple3)] @1: The lion sees the cow.[(((triple2) -> rule1))] @2: The lion visits the lion.[(((((triple2) -> rule1) triple3) -> rule2))]