The cow visits the dog. The dog sees the squirrel. The squirrel is red. The tiger is cold. If someone sees the cow and they need the tiger then the cow does not see the squirrel. If someone sees the squirrel then the squirrel does not see the tiger. If someone sees the squirrel then they visit the cow. If someone needs the dog and they are blue then they see the dog. If someone visits the dog and they do not need the tiger then the dog visits the tiger. If someone is cold then they are not blue. If someone sees the tiger and they see the squirrel then the squirrel visits the cow. If the tiger is not blue and the tiger does not visit the squirrel then the tiger does not need the cow.
The tiger does not visit the cow.
@0: The cow visits the dog.[(triple1)] The dog sees the squirrel.[(triple2)] The squirrel is red.[(triple3)] The tiger is cold.[(triple4)] @1: The dog visits the cow.[(((triple2) -> rule3))] The squirrel does not see the tiger.[(((triple2) -> rule2))] The tiger is not blue.[(((triple4) -> rule6))]