The cat chases the squirrel. The cat eats the dog. The cat eats the squirrel. The cat is blue. The cat is not cold. The cat is not red. The cat is rough. The cat sees the mouse. The cat sees the squirrel. The dog chases the mouse. The dog chases the squirrel. The dog is red. The mouse eats the dog. The mouse does not eat the squirrel. The mouse sees the cat. The squirrel chases the mouse. If someone is cold and they eat the dog then the dog is not red. If the dog is not cold then the dog is red. If someone is blue then they are young. If the dog chases the squirrel and the dog does not chase the cat then the squirrel does not eat the mouse. If someone chases the cat then the cat chases the dog. If someone chases the dog and the dog eats the cat then they are blue. If someone eats the dog and they do not chase the cat then the dog eats the cat. If the cat does not chase the dog then the cat does not see the squirrel.
The mouse eats the dog.
@0: The cat chases the squirrel.[(triple1)] The cat eats the dog.[(triple2)] The cat eats the squirrel.[(triple3)] The cat is blue.[(triple4)] The cat is not cold.[(triple5)] The cat is not red.[(triple6)] The cat is rough.[(triple7)] The cat sees the mouse.[(triple8)] The cat sees the squirrel.[(triple9)] The dog chases the mouse.[(triple10)] The dog chases the squirrel.[(triple11)] The dog is red.[(triple12)] The mouse does not eat the squirrel.[(triple14)] The mouse eats the dog.[(triple13)] The mouse sees the cat.[(triple15)] The squirrel chases the mouse.[(triple16)] @1: The cat is young.[(((triple4) -> rule3))]