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