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