Bob is white. Charlie is green. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. Fiona is green. Fiona is red. Fiona is round. Harry is green. Harry is round. Harry is white. Red people are smart. If someone is white then they are young. All young people are round. If someone is smart and white then they are kind. All red people are white. All smart, white people are round. If Bob is smart and Bob is white then Bob is young. Round people are red. If someone is green and smart then they are young.
Harry is not smart.