The squirrel is cold. The squirrel is kind. The squirrel is not red. All cold, nice people are not round. Cold, red people are round. Nice people are round. If someone is red then they are round. Kind people are round. If someone is kind and not nice then they are not red.
The squirrel is cold.
@0: The squirrel is cold.[(triple1)] The squirrel is kind.[(triple2)] The squirrel is not red.[(triple3)] @1: The squirrel is round.[(((triple2) -> rule5))]