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