The cow does not eat the dog. The cow is green. The dog chases the cow. The dog eats the mouse. The dog likes the mouse. The mouse chases the dog. The mouse does not eat the cow. The mouse does not eat the dog. The mouse is big. The mouse is green. The mouse is young. The mouse likes the cow. If something chases the mouse then it is young. If something eats the dog and the dog eats the mouse then it is young. If something likes the mouse then it likes the dog. If something chases the mouse then the mouse chases the dog. If something chases the cow and it likes the dog then it is kind. If the cow chases the mouse then the mouse likes the cow.
The dog is not kind.
@0: The cow does not eat the dog.[(triple1)] The cow is green.[(triple2)] The dog chases the cow.[(triple3)] The dog eats the mouse.[(triple4)] The dog likes the mouse.[(triple5)] The mouse chases the dog.[(triple6)] The mouse does not eat the cow.[(triple7)] The mouse does not eat the dog.[(triple8)] The mouse is big.[(triple9)] The mouse is green.[(triple10)] The mouse is young.[(triple11)] The mouse likes the cow.[(triple12)] @1: The dog likes the dog.[(((triple5) -> rule3))] @2: The dog is kind.[(((triple3 ((triple5) -> rule3)) -> rule5))]