The squirrel is cold. Kind, blue people are rough. If the squirrel is kind and the squirrel is blue then the squirrel is cold. If someone is round then they are kind. If someone is cold then they are kind. If someone is round and cold then they are blue. Kind people are round.
The squirrel is not cold.
@0: The squirrel is cold.[(triple1)] @1: The squirrel is kind.[(((triple1) -> rule4))] @2: The squirrel is round.[(((((triple1) -> rule4)) -> rule6))] @3: The squirrel is blue.[(((((((triple1) -> rule4)) -> rule6) triple1) -> rule5))] @4: The squirrel is rough.[(((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule6) triple1) -> rule5)) -> rule1))]