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 not kind.
@0: The dog is kind.[(triple1)] @1: The dog is not cold.[(((triple1) -> rule3))] The dog is not young.[(((triple1) -> rule1))]