The squirrel is young. All round people are rough. All young, round people are cold. If the squirrel is rough and the squirrel is young then the squirrel is cold. Rough people are young. If someone is cold then they are rough. All rough, big people are round. If someone is young then they are rough. All cold people are round.
The squirrel is not young.
@0: The squirrel is young.[(triple1)] @1: The squirrel is rough.[(((triple1) -> rule7))] @2: The squirrel is cold.[(((((triple1) -> rule7) triple1) -> rule3))] @3: The squirrel is round.[(((((((triple1) -> rule7) triple1) -> rule3)) -> rule8))]