The cat chases the dog. The cat chases the lion. The cat is big. The cat is kind. The cat likes the cow. The cow likes the dog. The cow likes the lion. The dog eats the cow. The dog is young. The lion chases the cat. The lion chases the dog. The lion eats the dog. The lion is blue. The lion is nice. The lion likes the cow. If something is young then it eats the cat. If the cat is blue and the cat is kind then the cat likes the dog.
The dog is not young.
@0: The cat chases the dog.[(triple1)] The cat chases the lion.[(triple2)] The cat is big.[(triple3)] The cat is kind.[(triple4)] The cat likes the cow.[(triple5)] The cow likes the dog.[(triple6)] The cow likes the lion.[(triple7)] The dog eats the cow.[(triple8)] The dog is young.[(triple9)] The lion chases the cat.[(triple10)] The lion chases the dog.[(triple11)] The lion eats the dog.[(triple12)] The lion is blue.[(triple13)] The lion is nice.[(triple14)] The lion likes the cow.[(triple15)] @1: The dog eats the cat.[(((triple9) -> rule1))]