The cow chases the dog. The cow does not chase the mouse. The cow is cold. The cow is nice. The cow is young. The cow does not see the dog. The cow sees the mouse. The dog eats the mouse. The dog is kind. The mouse does not eat the dog. The mouse sees the cow. The mouse sees the dog. If something chases the dog then the dog eats the mouse.
The mouse sees the dog.
@0: The cow chases the dog.[(triple1)] The cow does not chase the mouse.[(triple2)] The cow does not see the dog.[(triple6)] The cow is cold.[(triple3)] The cow is nice.[(triple4)] The cow is young.[(triple5)] The cow sees the mouse.[(triple7)] The dog eats the mouse.[(triple8 OR ((triple1) -> rule1))] The dog is kind.[(triple9)] The mouse does not eat the dog.[(triple10)] The mouse sees the cow.[(triple11)] The mouse sees the dog.[(triple12)]