The cat chases the lion. The cat is red. The cat likes the lion. The dog chases the cat. The dog chases the lion. The dog eats the lion. The dog is young. The dog likes the cat. The lion chases the rabbit. The lion eats the cat. The lion eats the dog. The lion likes the rabbit. The rabbit chases the cat. The rabbit is young. The rabbit likes the cat. The rabbit likes the dog. If something likes the rabbit and the rabbit eats the lion then the lion eats the cat. If something eats the lion and the lion chases the rabbit then it eats the cat.
The dog does not chase the cat.
@0: The cat chases the lion.[(triple1)] The cat is red.[(triple2)] The cat likes the lion.[(triple3)] The dog chases the cat.[(triple4)] The dog chases the lion.[(triple5)] The dog eats the lion.[(triple6)] The dog is young.[(triple7)] The dog likes the cat.[(triple8)] The lion chases the rabbit.[(triple9)] The lion eats the cat.[(triple10)] The lion eats the dog.[(triple11)] The lion likes the rabbit.[(triple12)] The rabbit chases the cat.[(triple13)] The rabbit is young.[(triple14)] The rabbit likes the cat.[(triple15)] The rabbit likes the dog.[(triple16)] @1: The dog eats the cat.[(((triple6 triple9) -> rule2))]