The cat is young. The dog needs the cat. The rabbit sees the dog. If someone needs the cat then the cat visits the dog. If someone sees the cat and the cat is blue then they need the rabbit. If the cat is young and the cat needs the dog then the dog visits the rabbit. If the cat visits the dog then the cat needs the dog. If the rabbit is red and the rabbit visits the dog then the dog sees the rabbit. If someone visits the rabbit and the rabbit needs the dog then the dog visits the cat.
The cat needs the dog.
@0: The cat is young.[(triple1)] The dog needs the cat.[(triple2)] The rabbit sees the dog.[(triple3)] @1: The cat visits the dog.[(((triple2) -> rule1))] @2: The cat needs the dog.[(((((triple2) -> rule1)) -> rule4))] @3: The dog visits the rabbit.[(((triple1 ((((triple2) -> rule1)) -> rule4)) -> rule3))]