The cat is young. The cat sees the dog. The dog eats the cat. The dog is big. The dog does not see the tiger. The mouse chases the tiger. The mouse is red. The tiger is kind. The tiger is young. The tiger sees the dog. If something eats the cat and it is big then it is not blue. If something is red and it does not chase the mouse then it eats the dog. If the tiger eats the cat then the tiger is not kind. If something eats the tiger then it chases the tiger. If the mouse is big then the mouse does not see the cat. If something sees the cat then the cat chases the dog. If the mouse is kind and the mouse sees the tiger then the mouse is red. If the cat chases the mouse and the mouse is not red then the cat chases the tiger.
The mouse does not eat the dog.
@0: The cat is young.[(triple1)] The cat sees the dog.[(triple2)] The dog does not see the tiger.[(triple5)] The dog eats the cat.[(triple3)] The dog is big.[(triple4)] The mouse chases the tiger.[(triple6)] The mouse is red.[(triple7)] The tiger is kind.[(triple8)] The tiger is young.[(triple9)] The tiger sees the dog.[(triple10)] @1: The dog is not blue.[(((triple3 triple4) -> rule1))]