Bob is round. Bob is white. Charlie is not kind. Charlie is quiet. Charlie is red. Charlie is rough. Gary is cold. Gary is kind. Gary is rough. Gary is white. All white things are red. If something is kind and not red then it is rough.
Charlie is red.