The dog chases the squirrel. The mouse is green. The mouse sees the rabbit. The rabbit chases the dog. The rabbit is green. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel chases the mouse. The squirrel chases the rabbit. The squirrel is young. The squirrel needs the mouse. The squirrel sees the rabbit. If someone sees the squirrel then they chase the squirrel. If someone sees the squirrel then the squirrel sees the dog. If someone needs the rabbit and the rabbit is young then they need the squirrel. If someone chases the rabbit and they are round then they are young. If someone chases the dog then the dog sees the mouse. If someone sees the dog and the dog chases the rabbit then they chase the dog.
The dog does not chase the squirrel.
@0: The dog chases the squirrel.[(triple1)] The mouse is green.[(triple2)] The mouse sees the rabbit.[(triple3)] The rabbit chases the dog.[(triple4)] The rabbit is green.[(triple5)] The rabbit needs the squirrel.[(triple6)] The rabbit sees the squirrel.[(triple7)] The squirrel chases the mouse.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel is young.[(triple10)] The squirrel needs the mouse.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The dog sees the mouse.[(((triple4) -> rule5))] The rabbit chases the squirrel.[(((triple7) -> rule1))] The squirrel sees the dog.[(((triple7) -> rule2))]