Bob is big. Bob is smart. Bob is white. Charlie is kind. Dave is white. Dave is young. Gary is young. If something is red then it is white. If something is big and not smart then it is red. All kind things are young. If something is white and young then it is not rough. If something is young then it is kind. If something is big and white then it is young. If something is young then it is big. If something is white and not red then it is big. If Dave is red and Dave is not white then Dave is kind.
Gary is white.