Dave is furry. Dave is not green. Dave is nice. Dave is red. Dave is rough. Dave is round. Dave is smart. Gary is furry. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is round. Gary is smart. If something is round and not rough then it is green. If Dave is green and Dave is not smart then Dave is not round. If something is not green then it is furry.
Dave is not red.