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