The squirrel is rough. Rough people are nice. All nice, rough people are red.
The squirrel is red.
@0: The squirrel is rough.[(triple1)] @1: The squirrel is nice.[(((triple1) -> rule1))] @2: The squirrel is red.[(((((triple1) -> rule1) triple1) -> rule2))]