The squirrel is blue. All cold things are kind. If something is blue then it is young. If something is kind and blue then it is green.
The squirrel likes the squirrel.
@0: The squirrel is blue.[(triple1)] @1: The squirrel is young.[(((triple1) -> rule2))]