The dog eats the mouse. The dog eats the squirrel. The dog is not green. The dog is round. The dog visits the mouse. The dog visits the squirrel. The mouse does not eat the squirrel. The mouse visits the dog. The mouse visits the squirrel. The squirrel does not visit the mouse. If the squirrel sees the mouse and the squirrel does not see the dog then the mouse is round. If the mouse sees the squirrel and the mouse does not see the dog then the dog eats the squirrel. If something eats the squirrel then the squirrel is not green.
The dog eats the mouse.
@0: The dog eats the mouse.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is not green.[(triple3)] The dog is round.[(triple4)] The dog visits the mouse.[(triple5)] The dog visits the squirrel.[(triple6)] The mouse does not eat the squirrel.[(triple7)] The mouse visits the dog.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel does not visit the mouse.[(triple10)] @1: The squirrel is not green.[(((triple2) -> rule3))]