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