The lion eats the squirrel. The lion is blue. The lion is kind. The lion needs the squirrel. The lion visits the squirrel. The squirrel is cold. The squirrel is young. If someone is green and they need the lion then they visit the squirrel. If someone visits the lion and they need the lion then they visit the squirrel. If someone needs the squirrel and the squirrel visits the lion then the squirrel needs the lion. If someone eats the lion then the lion visits the squirrel. If someone is cold then they need the squirrel. If someone visits the lion and they are not kind then the lion does not eat the squirrel. If someone is cold and they eat the squirrel then the squirrel eats the lion. If someone is cold and they eat the squirrel then the squirrel is blue.
The squirrel is green.
@0: The lion eats the squirrel.[(triple1)] The lion is blue.[(triple2)] The lion is kind.[(triple3)] The lion needs the squirrel.[(triple4)] The lion visits the squirrel.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is young.[(triple7)] @1: The squirrel needs the squirrel.[(((triple6) -> rule5))]