The bear does not chase the mouse. The bear is round. The bear does not visit the mouse. The cow does not chase the mouse. The cow needs the bear. The dog chases the mouse. The dog is green. The dog is red. The dog needs the bear. The mouse chases the dog. The mouse is blue. The mouse visits the dog. Red things are round. If something is blue then it is not big. If something chases the dog and it is not red then the dog visits the bear. If the mouse does not visit the cow then the cow visits the mouse. If something needs the mouse and the mouse does not need the dog then it needs the bear. If something is green and it does not visit the bear then it needs the mouse.
The mouse chases the dog.
@0: The bear does not chase the mouse.[(triple1)] The bear does not visit the mouse.[(triple3)] The bear is round.[(triple2)] The cow does not chase the mouse.[(triple4)] The cow needs the bear.[(triple5)] The dog chases the mouse.[(triple6)] The dog is green.[(triple7)] The dog is red.[(triple8)] The dog needs the bear.[(triple9)] The mouse chases the dog.[(triple10)] The mouse is blue.[(triple11)] The mouse visits the dog.[(triple12)] @1: The dog is round.[(((triple8) -> rule1))] The mouse is not big.[(((triple11) -> rule2))]