The cat visits the dog. The dog is round. The rabbit chases the cat. If someone chases the cat then the cat chases the rabbit. If someone is blue then they visit the cat. If someone is young and they like the cat then the cat visits the rabbit. If someone chases the rabbit then they visit the cat. If the cat chases the rabbit and the cat is kind then the cat chases the dog. If someone visits the cat then the cat is round. If the rabbit chases the dog then the rabbit visits the cat. If someone chases the cat then they chase the rabbit.
The dog chases the rabbit.
@0: The cat visits the dog.[(triple1)] The dog is round.[(triple2)] The rabbit chases the cat.[(triple3)] @1: The cat chases the rabbit.[(((triple3) -> rule1))] The rabbit chases the rabbit.[(((triple3) -> rule8))] @2: The cat visits the cat.[(((((triple3) -> rule1)) -> rule4))] The rabbit visits the cat.[(((((triple3) -> rule8)) -> rule4))] @3: The cat is round.[(((((((triple3) -> rule1)) -> rule4)) -> rule6) OR ((((((triple3) -> rule8)) -> rule4)) -> rule6))]