Dave is not red. Dave is round. Harry is young. Red things are young. All smart, round things are young. All young, rough things are not red. Smart, young things are round. If Harry is round then Harry is not nice. If Dave is rough and Dave is not round then Dave is not furry.
Dave is furry.
@0: Dave is not red.[(triple1)] Dave is round.[(triple2)] Harry is young.[(triple3)]