Dave is cold. Gary is smart. Red things are not rough. If something is cold then it is red.
Gary is not smart.
@0: Dave is cold.[(triple1)] Gary is smart.[(triple2)] @1: Dave is red.[(((triple1) -> rule2))] @2: Dave is not rough.[(((((triple1) -> rule2)) -> rule1))]