Bob is blue. Bob is cold. Bob is green. Bob is red. Bob is round. Bob is white. Fiona is blue. Fiona is cold. Fiona is green. Fiona is round. Fiona is smart. Fiona is white. Harry is cold. Harry is green. Harry is white. All red people are smart. Green, round people are smart. Smart people are red. If someone is smart and red then they are blue. If someone is cold then they are white. If someone is green and white then they are round.
Harry is not smart.