The cat chases the rabbit. The dog chases the cat. The dog chases the rabbit. The lion visits the dog. The rabbit is young. The rabbit does not visit the dog. The rabbit visits the lion. If something chases the dog then it chases the lion. If something chases the cat and the cat is young then it is young. If something is cold and it does not visit the rabbit then it visits the dog. If something chases the cat then it likes the dog. If something chases the dog then it does not like the dog. If something visits the rabbit and the rabbit visits the cat then the cat is not big. If something likes the rabbit then the rabbit visits the dog. If something likes the rabbit and the rabbit is not big then the rabbit is young.
The lion visits the dog.
@0: The cat chases the rabbit.[(triple1)] The dog chases the cat.[(triple2)] The dog chases the rabbit.[(triple3)] The lion visits the dog.[(triple4)] The rabbit does not visit the dog.[(triple6)] The rabbit is young.[(triple5)] The rabbit visits the lion.[(triple7)] @1: The dog likes the dog.[(((triple2) -> rule4))]