The dog is cold. If the dog is rough then the dog is young. All rough, big things are young. If something is big then it is not rough. All kind things are rough. If something is young and not big then it is rough. If something is kind then it is cold. All cold things are kind. If something is rough and not big then it is kind.
The dog is rough.
@0: The dog is cold.[(triple1)] @1: The dog is kind.[(((triple1) -> rule7))] @2: The dog is rough.[(((((triple1) -> rule7)) -> rule4))] @3: The dog is young.[(((((((triple1) -> rule7)) -> rule4)) -> rule1))]