Bob is cold. Bob is nice. Bob is red. Bob is white. Bob is young. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Fiona is red. Fiona is white. Fiona is young. All white, smart things are round. Round, red things are nice. All round, red things are young. White, round things are young. All young, white things are nice. If Charlie is smart and Charlie is round then Charlie is white.
Bob is not nice.