The dog is nice. Cold, blue things are nice. All nice things are not rough. Nice things are cold.
The dog is nice.
@0: The dog is nice.[(triple1)] @1: The dog is cold.[(((triple1) -> rule3))] The dog is not rough.[(((triple1) -> rule2))]