Anne is blue. Anne is quiet. Anne is rough. Anne is round. Dave is blue. Dave is cold. Dave is quiet. Dave is round. Dave is smart. Fiona is cold. Fiona is rough. Harry is cold. Harry is green. Harry is round. Harry is smart. If Anne is round then Anne is green. All cold, rough people are smart. If someone is quiet and smart then they are cold. If someone is quiet then they are blue. Round people are blue. All green people are cold. If Dave is cold and Dave is quiet then Dave is green. Smart people are quiet.
Anne is smart.