The dog chases the mouse. The dog chases the squirrel. The dog eats the mouse. The dog eats the squirrel. The dog is cold. The dog is kind. The dog visits the mouse. The dog visits the squirrel. The mouse chases the squirrel. The mouse eats the dog. The mouse is young. The squirrel eats the mouse. The squirrel is cold. The squirrel is green. The squirrel is kind. If something eats the dog then the dog is green.
The dog does not eat the mouse.
@0: The dog chases the mouse.[(triple1)] The dog chases the squirrel.[(triple2)] The dog eats the mouse.[(triple3)] The dog eats the squirrel.[(triple4)] The dog is cold.[(triple5)] The dog is kind.[(triple6)] The dog visits the mouse.[(triple7)] The dog visits the squirrel.[(triple8)] The mouse chases the squirrel.[(triple9)] The mouse eats the dog.[(triple10)] The mouse is young.[(triple11)] The squirrel eats the mouse.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is green.[(triple14)] The squirrel is kind.[(triple15)] @1: The dog is green.[(((triple10) -> rule1))]