Bob is red. Bob is round. Bob is white. Fiona is round. Gary is blue. Gary is nice. Gary is red. If someone is nice and blue then they are smart. Nice people are smart. All smart people are blue.
Gary is not white.