The cow sees the dog. The dog sees the cow. The dog sees the squirrel. The dog visits the squirrel. The mouse eats the squirrel. The mouse sees the squirrel. The mouse visits the cow. The squirrel eats the cow. The squirrel is red. The squirrel sees the dog. If someone visits the cow then they are green. If someone visits the squirrel and the squirrel eats the cow then the cow is green. If someone is nice then they visit the squirrel.
The mouse is big.
@0: The cow sees the dog.[(triple1)] The dog sees the cow.[(triple2)] The dog sees the squirrel.[(triple3)] The dog visits the squirrel.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse sees the squirrel.[(triple6)] The mouse visits the cow.[(triple7)] The squirrel eats the cow.[(triple8)] The squirrel is red.[(triple9)] The squirrel sees the dog.[(triple10)] @1: The cow is green.[(((triple4 triple8) -> rule2))] The mouse is green.[(((triple7) -> rule1))]