The squirrel needs the tiger. The tiger needs the squirrel. If someone needs the squirrel then the squirrel is blue. If the squirrel is green and the squirrel chases the tiger then the tiger needs the squirrel.
The tiger is not blue.
@0: The squirrel needs the tiger.[(triple1)] The tiger needs the squirrel.[(triple2)] @1: The squirrel is blue.[(((triple2) -> rule1))]