Dave is big. Dave is not furry. Dave is kind. Dave is not nice. Dave is white. Gary is cold. Gary is furry. Gary is kind. Gary is rough. Gary is white. All big, rough things are not cold. Nice things are white. If something is furry then it is cold. If something is kind and nice then it is big. White, big things are rough. If something is furry and not cold then it is nice. If something is nice and not white then it is kind. If Dave is white and Dave is not kind then Dave is not big.
Dave is furry.