The cow eats the dog. The dog does not chase the mouse. The dog is blue. The dog is cold. The dog sees the cow. The dog sees the mouse. The mouse does not chase the cow. The mouse eats the dog. The mouse sees the dog. The squirrel eats the dog. The squirrel does not eat the mouse. The squirrel is nice. If someone sees the cow and they chase the mouse then the cow does not see the mouse. If someone eats the squirrel then they are red. If someone sees the mouse then they are not red. If someone sees the squirrel then they are blue. If the mouse sees the dog and the dog does not see the cow then the dog chases the mouse. If someone sees the dog then the dog is not nice. If someone sees the squirrel and the squirrel chases the cow then they eat the squirrel. All red people are not nice.
The squirrel does not eat the squirrel.
@0: The cow eats the dog.[(triple1)] The dog does not chase the mouse.[(triple2)] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog sees the cow.[(triple5)] The dog sees the mouse.[(triple6)] The mouse does not chase the cow.[(triple7)] The mouse eats the dog.[(triple8)] The mouse sees the dog.[(triple9)] The squirrel does not eat the mouse.[(triple11)] The squirrel eats the dog.[(triple10)] The squirrel is nice.[(triple12)] @1: The dog is not nice.[(((triple9) -> rule6))] The dog is not red.[(((triple6) -> rule3))]