Dave is cold. Dave is furry. Dave is quiet. Dave is smart. Gary is cold. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is smart. If Dave is green and Dave is quiet then Dave is smart. If Gary is green then Gary is furry.
Dave is not nice.