The squirrel is cold. The squirrel is not nice. The squirrel is red. If the squirrel is nice and the squirrel is young then the squirrel is not red. If something is kind then it is red. All cold things are not young.
The squirrel is cold.
@0: The squirrel is cold.[(triple1)] The squirrel is not nice.[(triple2)] The squirrel is red.[(triple3)] @1: The squirrel is not young.[(((triple1) -> rule3))]