The squirrel is kind. If something is round and blue then it is rough. If something is round and not kind then it is not young. All kind things are blue. All round things are blue. If something is kind and blue then it is round. If the squirrel is rough then the squirrel is round.
The squirrel does not like the squirrel.
@0: The squirrel is kind.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule3))] @2: The squirrel is round.[(((triple1 ((triple1) -> rule3)) -> rule5))] @3: The squirrel is rough.[(((((triple1 ((triple1) -> rule3)) -> rule5) ((triple1) -> rule3)) -> rule1))]