Dave is big. Dave is blue. Dave is furry. Dave is kind. Dave is quiet. Dave is rough. Gary is big. Gary is blue. Gary is furry. Gary is smart. If something is quiet then it is big. If something is smart then it is big. All kind things are rough. If something is quiet then it is furry. All blue things are quiet. All rough, smart things are quiet. Furry, smart things are kind. Furry things are kind.
Gary is not furry.