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