Dave is green. Harry is young. All furry, nice things are rough. If Dave is furry and Dave is nice then Dave is rough. Furry, cold things are green.
Harry is not rough.
@0: Dave is green.[(triple1)] Harry is young.[(triple2)]