The squirrel is cold. Cold people are young. If someone is rough then they are not red. If the squirrel is red and the squirrel is nice then the squirrel is rough.
The squirrel is not rough.
@0: The squirrel is cold.[(triple1)] @1: The squirrel is young.[(((triple1) -> rule1))]