The dog is not blue. The squirrel visits the dog. The tiger eats the squirrel. If someone is red and they eat the squirrel then they see the tiger. If the squirrel is red and the squirrel sees the dog then the squirrel does not eat the tiger. If someone eats the squirrel and the squirrel visits the dog then they visit the tiger. If someone sees the dog then the dog is green. If the dog sees the tiger and the dog eats the squirrel then the dog is blue. Red people are green. If someone visits the squirrel then they see the dog. If someone visits the dog and the dog does not see the tiger then they are not nice.
The squirrel visits the tiger.
@0: The dog is not blue.[(triple1)] The squirrel visits the dog.[(triple2)] The tiger eats the squirrel.[(triple3)] @1: The tiger visits the tiger.[(((triple3 triple2) -> rule3))]