Dave is not blue. Dave is not green. Dave is kind. All blue, kind people are furry. All kind, rough people are furry. Rough, nice people are not kind. All green, rough people are kind. If someone is green then they are not round. Green people are not round.
Dave is rough.
@0: Dave is kind.[(triple3)] Dave is not blue.[(triple1)] Dave is not green.[(triple2)]