Dave is furry. Dave is quiet. Dave is white. Nice, red people are kind. All kind, nice people are young. All young people are nice. If someone is nice and quiet then they are furry. Quiet, kind people are young. If Dave is kind and Dave is nice then Dave is red.
Dave is not quiet.
@0: Dave is furry.[(triple1)] Dave is quiet.[(triple2)] Dave is white.[(triple3)]