Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is smart. Bob is white. Charlie is red. Fiona is big. Fiona is blue. Fiona is cold. Fiona is red. Fiona is smart. Fiona is white. Gary is big. Gary is smart. If Gary is blue then Gary is red. Big things are blue.
Gary is not blue.