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.
Dave is not green.
@0: Dave is green.[(triple1)] Harry is young.[(triple2)]