The dog eats the mouse. The dog is nice. The dog is red. The dog sees the squirrel. The mouse eats the squirrel. The mouse sees the squirrel. The squirrel sees the dog. If something sees the mouse then it eats the dog. If the mouse sees the dog and the mouse is green then the mouse is kind. If something eats the mouse and it sees the squirrel then the mouse visits the dog.
The dog is nice.
@0: The dog eats the mouse.[(triple1)] The dog is nice.[(triple2)] The dog is red.[(triple3)] The dog sees the squirrel.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse sees the squirrel.[(triple6)] The squirrel sees the dog.[(triple7)] @1: The mouse visits the dog.[(((triple1 triple4) -> rule3))]