The dog is rough. If something is rough then it is young. Cold things are kind. Kind, young things are cold. If the dog is blue and the dog is kind then the dog is rough. All cold, young things are rough. Young things are kind. If something is blue and kind then it is cold. If the dog is cold then the dog is rough.
The dog is not cold.
@0: The dog is rough.[(triple1)] @1: The dog is young.[(((triple1) -> rule1))] @2: The dog is kind.[(((((triple1) -> rule1)) -> rule6))] @3: The dog is cold.[(((((((triple1) -> rule1)) -> rule6) ((triple1) -> rule1)) -> rule3))]