Bob is white. Charlie is big. Fiona is smart. Gary is round. All white things are nice. If something is red and round then it is cold. If Gary is round then Gary is red. Cold, round things are white. If Gary is nice and Gary is big then Gary is red. Smart, red things are big.
Gary is not white.