The dog visits the lion. The lion does not visit the dog. The squirrel visits the dog. If something is blue then it visits the dog. If something visits the dog then the dog likes the squirrel. If something likes the lion and it visits the dog then it is green. If the dog eats the lion and the lion does not eat the dog then the dog is blue. If something likes the squirrel then it is blue. If something eats the squirrel and it likes the squirrel then it does not visit the squirrel.
The lion does not eat the dog.
@0: The dog visits the lion.[(triple1)] The lion does not visit the dog.[(triple2)] The squirrel visits the dog.[(triple3)] @1: The dog likes the squirrel.[(((triple3) -> rule2))] @2: The dog is blue.[(((((triple3) -> rule2)) -> rule5))] @3: The dog visits the dog.[(((((((triple3) -> rule2)) -> rule5)) -> rule1))]