The cat chases the dog. The cat does not chase the tiger. The cat eats the dog. The cat is cold. The cat is young. The dog chases the tiger. The dog is rough. The tiger chases the cat. The tiger chases the dog. The tiger is red. The tiger does not visit the cat. The tiger visits the dog. If the dog does not eat the cat then the cat does not chase the dog. If something is kind and it does not chase the cat then the cat is not red. If something chases the cat then the cat is red. If something is cold and not rough then it is red. If something eats the tiger then it is not cold. If something chases the tiger and it is not cold then it eats the dog.
The cat is not cold.
@0: The cat chases the dog.[(triple1)] The cat does not chase the tiger.[(triple2)] The cat eats the dog.[(triple3)] The cat is cold.[(triple4)] The cat is young.[(triple5)] The dog chases the tiger.[(triple6)] The dog is rough.[(triple7)] The tiger chases the cat.[(triple8)] The tiger chases the dog.[(triple9)] The tiger does not visit the cat.[(triple11)] The tiger is red.[(triple10)] The tiger visits the dog.[(triple12)] @1: The cat is red.[(((triple8) -> rule3))]