The squirrel is nice. If the squirrel is nice then the squirrel is red. If something is rough and round then it is not red.
The squirrel does not eat the squirrel.
@0: The squirrel is nice.[(triple1)] @1: The squirrel is red.[(((triple1) -> rule1))]