The squirrel is cold. Big, rough things are red. If the squirrel is cold then the squirrel is red. All big, round things are rough. If something is round then it is big. All rough things are big. All red things are big. If something is cold and big then it is rough. Round things are big.
The squirrel is cold.
@0: The squirrel is cold.[(triple1)] @1: The squirrel is red.[(((triple1) -> rule2))] @2: The squirrel is big.[(((((triple1) -> rule2)) -> rule6))] @3: The squirrel is rough.[(((triple1 ((((triple1) -> rule2)) -> rule6)) -> rule7))]