The cat chases the dog. The cat eats the lion. The dog chases the cat. The dog eats the lion. The dog needs the lion. The lion does not chase the dog. The lion eats the cat. The lion eats the dog. The lion is blue. The lion is young. The lion needs the cat. The lion does not need the dog. If the dog eats the cat and the cat chases the dog then the cat does not need the dog. If the lion chases the cat and the cat is not cold then the cat needs the dog. If the dog chases the cat then the dog is cold. If something eats the dog and the dog does not eat the lion then the lion needs the dog. If something needs the dog then it needs the cat. If something needs the dog and it is blue then the dog needs the cat. If something is blue then it does not chase the lion. If the dog is not cold then the dog is not blue.
The dog chases the cat.
@0: The cat chases the dog.[(triple1)] The cat eats the lion.[(triple2)] The dog chases the cat.[(triple3)] The dog eats the lion.[(triple4)] The dog needs the lion.[(triple5)] The lion does not chase the dog.[(triple6)] The lion does not need the dog.[(triple12)] The lion eats the cat.[(triple7)] The lion eats the dog.[(triple8)] The lion is blue.[(triple9)] The lion is young.[(triple10)] The lion needs the cat.[(triple11)] @1: The dog is cold.[(((triple3) -> rule3))] The lion does not chase the lion.[(((triple9) -> rule7))]