Anne is big. Anne is kind. Anne is smart. Anne is white. Fiona is big. Fiona is white. Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is red. Gary is smart. Gary is white. Harry is red. All green people are kind. Big people are smart. If Fiona is kind then Fiona is red. All big, smart people are green. All blue people are smart. If someone is kind and red then they are blue.
Harry is blue.