Dave is furry. Dave is nice. Dave is smart. Furry, nice things are green.
Dave is nice.
@0: Dave is furry.[(triple1)] Dave is nice.[(triple2)] Dave is smart.[(triple3)] @1: Dave is green.[(((triple1 triple2) -> rule1))]