The cat visits the dog. The dog needs the cat. The lion visits the cat. If the dog needs the cat and the dog visits the cat then the cat sees the lion. If someone needs the cat then they visit the cat. If someone needs the lion and the lion is blue then the lion is green. If someone needs the dog and they need the lion then the lion visits the dog. If someone sees the lion then they need the cat. If someone visits the cat and they see the dog then they are cold.
The lion does not visit the cat.
@0: The cat visits the dog.[(triple1)] The dog needs the cat.[(triple2)] The lion visits the cat.[(triple3)] @1: The dog visits the cat.[(((triple2) -> rule2))] @2: The cat sees the lion.[(((triple2 ((triple2) -> rule2)) -> rule1))] @3: The cat needs the cat.[(((((triple2 ((triple2) -> rule2)) -> rule1)) -> rule5))] @4: The cat visits the cat.[(((((((triple2 ((triple2) -> rule2)) -> rule1)) -> rule5)) -> rule2))]