The squirrel is red. All kind things are big. If something is red then it is nice.
The squirrel does not need the squirrel.
@0: The squirrel is red.[(triple1)] @1: The squirrel is nice.[(((triple1) -> rule2))]