Dave is not furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is not round. Dave is smart. If someone is round and not kind then they are not quiet. If someone is furry and not smart then they are round.
Dave is not green.
@0: Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is not furry.[(triple1)] Dave is not round.[(triple6)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is smart.[(triple7)]