The squirrel is round. If something is cold and big then it is rough. All cold, round things are big. If something is cold and kind then it is big. All cold things are kind. Cold things are kind. Round things are kind.
The squirrel visits the squirrel.
@0: The squirrel is round.[(triple1)] @1: The squirrel is kind.[(((triple1) -> rule6))]