Anne is big. Anne is cold. Anne is quiet. Bob is big. Bob is smart. Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is white. Gary is smart. All blue, rough things are quiet. Rough things are smart. All smart, quiet things are white. All cold things are quiet. All big things are blue. Smart things are cold. Blue things are big. If Gary is white then Gary is blue. All white things are cold.
Bob is not white.