Charlie is green. Charlie is white. Dave is red. Big things are white. If something is green and white then it is big. Furry, big things are red. All kind, red things are big. If Dave is red and Dave is green then Dave is furry. Red things are kind. All red things are smart. If Charlie is red then Charlie is kind.
Dave is not furry.