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