The bear chases the lion. The lion chases the tiger. The squirrel is green. The tiger is red. If someone is green and big then they visit the squirrel. If someone chases the lion and the lion chases the tiger then they visit the tiger. If the squirrel eats the bear and the bear eats the squirrel then the squirrel visits the tiger. If someone chases the tiger then the tiger chases the squirrel. If someone is red then they visit the lion. If someone is green and they eat the lion then they visit the tiger.
The squirrel is green.
@0: The bear chases the lion.[(triple1)] The lion chases the tiger.[(triple2)] The squirrel is green.[(triple3)] The tiger is red.[(triple4)] @1: The bear visits the tiger.[(((triple1 triple2) -> rule2))] The tiger chases the squirrel.[(((triple2) -> rule4))] The tiger visits the lion.[(((triple4) -> rule5))]