Dave is cold. Dave is rough. Dave is white. Rough things are blue.
Dave is smart.
@0: Dave is cold.[(triple1)] Dave is rough.[(triple2)] Dave is white.[(triple3)] @1: Dave is blue.[(((triple2) -> rule1))]