The cat is green. The dog chases the lion. The lion is young. The rabbit chases the cat. Kind things are green. If something chases the dog then the dog needs the rabbit. If something visits the dog then the dog is green. If the cat needs the lion then the lion visits the rabbit. If something chases the cat then it is young. If something chases the cat and it is young then it visits the dog. All rough things are young. If the cat needs the dog and the dog chases the rabbit then the rabbit chases the dog.
The dog chases the lion.
@0: The cat is green.[(triple1)] The dog chases the lion.[(triple2)] The lion is young.[(triple3)] The rabbit chases the cat.[(triple4)] @1: The rabbit is young.[(((triple4) -> rule5))] @2: The rabbit visits the dog.[(((triple4 ((triple4) -> rule5)) -> rule6))] @3: The dog is green.[(((((triple4 ((triple4) -> rule5)) -> rule6)) -> rule3))]