The dog is kind. All kind things are not young. All cold, kind things are not rough. If something is kind then it is not cold.
The dog is kind.
@0: The dog is kind.[(triple1)] @1: The dog is not cold.[(((triple1) -> rule3))] The dog is not young.[(((triple1) -> rule1))]