Bob is not nice. Charlie is big. Dave is white. All big things are red. If something is kind then it is big. If Charlie is big and Charlie is white then Charlie is nice. White things are kind. If something is cold and kind then it is big. If something is not nice then it is rough. If something is not rough then it is cold. If something is big and not rough then it is not nice.
Charlie is white.