The lion is green. The lion visits the squirrel. The squirrel visits the lion. If someone visits the squirrel then they see the lion. If someone is big then they need the lion. If someone needs the squirrel and the squirrel is big then they visit the squirrel. If someone sees the lion and they are nice then the lion needs the squirrel. If someone is big and they need the squirrel then the squirrel visits the lion. If someone needs the squirrel then they are blue.
The squirrel is green.
@0: The lion is green.[(triple1)] The lion visits the squirrel.[(triple2)] The squirrel visits the lion.[(triple3)] @1: The lion sees the lion.[(((triple2) -> rule1))]