The dog chases the mouse. The dog is not green. The dog is young. The dog sees the mouse. The mouse chases the dog. The mouse is big. The mouse is not cold. The mouse is green. The mouse is not nice. The mouse is not young. The mouse sees the dog. The mouse visits the dog. If something chases the mouse then it chases the dog. If something is green and it does not visit the dog then the dog does not chase the mouse.
The dog does not visit the mouse.
@0: The dog chases the mouse.[(triple1)] The dog is not green.[(triple2)] The dog is young.[(triple3)] The dog sees the mouse.[(triple4)] The mouse chases the dog.[(triple5)] The mouse is big.[(triple6)] The mouse is green.[(triple8)] The mouse is not cold.[(triple7)] The mouse is not nice.[(triple9)] The mouse is not young.[(triple10)] The mouse sees the dog.[(triple11)] The mouse visits the dog.[(triple12)] @1: The dog chases the dog.[(((triple1) -> rule1))]