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