The squirrel is blue. All blue things are rough. All blue, rough things are not nice. If the squirrel is not blue then the squirrel is nice. If the squirrel is green and the squirrel is not rough then the squirrel is cold. If something is cold and not rough then it is green. Cold things are green. If something is blue and not nice then it is cold. If something is nice and blue then it is cold.
The squirrel is blue.
@0: The squirrel is blue.[(triple1)] @1: The squirrel is rough.[(((triple1) -> rule1))] @2: The squirrel is not nice.[(((triple1 ((triple1) -> rule1)) -> rule2))] @3: The squirrel is cold.[(((triple1 ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule7))] @4: The squirrel is green.[(((((triple1 ((triple1 ((triple1) -> rule1)) -> rule2)) -> rule7)) -> rule6))]