Bob is blue. Bob is smart. Bob is white. Fiona is rough. Fiona is not smart. Fiona is white. Gary is green. Gary is not rough. Gary is smart. Harry is not white. Blue, red people are rough. Smart people are white. All smart people are kind. All rough, white people are not blue. Blue people are green. Blue people are green. If Gary is red then Gary is not blue. If Fiona is not rough then Fiona is not white.
Gary is blue.