The squirrel is kind. If someone is kind then they are rough. If someone is green and nice then they are rough. If someone is rough then they are red. Nice people are rough. If the squirrel is nice and the squirrel is kind then the squirrel is green. All green, red people are rough. All rough people are kind. All kind, red people are rough.
The squirrel is red.
@0: The squirrel is kind.[(triple1)] @1: The squirrel is rough.[(((triple1) -> rule1))] @2: The squirrel is red.[(((((triple1) -> rule1)) -> rule3))]