The squirrel is rough. Young people are kind. Kind, green people are young. All young, green people are kind. Rough people are young. If someone is kind then they are red. All green people are rough.
The squirrel needs the squirrel.
@0: The squirrel is rough.[(triple1)] @1: The squirrel is young.[(((triple1) -> rule4))] @2: The squirrel is kind.[(((((triple1) -> rule4)) -> rule1))] @3: The squirrel is red.[(((((((triple1) -> rule4)) -> rule1)) -> rule5))]