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