The squirrel is blue. The squirrel is nice. The squirrel is red. If someone is blue and not nice then they are cold. All nice people are not cold. Nice, cold people are young.
The squirrel is not young.
@0: The squirrel is blue.[(triple1)] The squirrel is nice.[(triple2)] The squirrel is red.[(triple3)] @1: The squirrel is not cold.[(((triple2) -> rule2))]