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 is nice.
@0: The squirrel is nice.[(triple1)] @1: The squirrel is red.[(((triple1) -> rule1))]