The cat visits the squirrel. The mouse likes the squirrel. The squirrel eats the mouse. If the cat visits the squirrel then the squirrel visits the cat. If someone is kind and they visit the squirrel then they like the mouse. If someone is blue and they like the cat then they eat the squirrel.
The cat is blue.
@0: The cat visits the squirrel.[(triple1)] The mouse likes the squirrel.[(triple2)] The squirrel eats the mouse.[(triple3)] @1: The squirrel visits the cat.[(((triple1) -> rule1))]