The cow eats the squirrel. The dog eats the squirrel. The mouse eats the cow. The squirrel chases the dog. If someone is blue then they visit the cow. If the squirrel chases the cow and the squirrel is blue then the cow chases the dog. If someone eats the mouse and they eat the dog then they eat the cow. If someone eats the squirrel and the squirrel chases the dog then the squirrel is green. If someone eats the mouse and they visit the squirrel then the mouse is big. If someone visits the mouse and they are green then the mouse is green.
The mouse does not eat the cow.
@0: The cow eats the squirrel.[(triple1)] The dog eats the squirrel.[(triple2)] The mouse eats the cow.[(triple3)] The squirrel chases the dog.[(triple4)] @1: The squirrel is green.[(((triple1 triple4) -> rule4) OR ((triple2 triple4) -> rule4))]