The cat chases the dog. The dog visits the lion. The lion is kind. If the dog visits the cat then the cat visits the lion. If someone visits the lion and the lion is kind then they visit the cat. If the lion is green and the lion chases the dog then the lion visits the dog. If someone is round then they see the cat. If someone visits the dog then the dog chases the lion. If someone visits the cat then the cat sees the dog. If someone chases the lion and they visit the lion then the lion is kind. If someone sees the cat and they see the lion then they are round.
The dog does not visit the lion.
@0: The cat chases the dog.[(triple1)] The dog visits the lion.[(triple2)] The lion is kind.[(triple3)] @1: The dog visits the cat.[(((triple2 triple3) -> rule2))] @2: The cat sees the dog.[(((((triple2 triple3) -> rule2)) -> rule6) OR ((((((((triple2 triple3) -> rule2)) -> rule1) triple3) -> rule2)) -> rule6))] The cat visits the lion.[(((((triple2 triple3) -> rule2)) -> rule1))] @3: The cat visits the cat.[(((((((triple2 triple3) -> rule2)) -> rule1) triple3) -> rule2))]