The cow chases the dog. The cow is not red. The dog is red. The dog needs the cow. The mouse needs the cow. The mouse needs the tiger. The tiger is blue. The tiger is kind. The tiger is not red. The tiger does not visit the cow. If something visits the tiger then the tiger is not red. If something needs the dog and the dog needs the tiger then it visits the dog. If something visits the mouse then it is cold. If something visits the tiger then the tiger does not chase the dog. If something is cold then it chases the dog. If something needs the tiger then it is not nice.
The cow is blue.
@0: The cow chases the dog.[(triple1)] The cow is not red.[(triple2)] The dog is red.[(triple3)] The dog needs the cow.[(triple4)] The mouse needs the cow.[(triple5)] The mouse needs the tiger.[(triple6)] The tiger does not visit the cow.[(triple10)] The tiger is blue.[(triple7)] The tiger is kind.[(triple8)] The tiger is not red.[(triple9)] @1: The mouse is not nice.[(((triple6) -> rule6))]