Anne is cold. Dave is cold. Dave is young. Young, rough things are big. Young things are green. All cold, big things are rough.
Dave is rough.
@0: Anne is cold.[(triple1)] Dave is cold.[(triple2)] Dave is young.[(triple3)] @1: Dave is green.[(((triple3) -> rule2))]