Dave is furry. Dave is red. Gary is white. If something is blue and furry then it is not quiet. All blue things are rough. Blue things are furry. If Gary is rough and Gary is not red then Gary is smart. If something is rough and not red then it is not smart. If something is red and not furry then it is not smart. If Dave is blue and Dave is not white then Dave is quiet. If Dave is not furry then Dave is quiet.
Dave is blue.
@0: Dave is furry.[(triple1)] Dave is red.[(triple2)] Gary is white.[(triple3)]