Anne is green. Charlie is green. Charlie is round. Charlie is young. Dave is cold. Dave is green. Dave is quiet. Dave is red. Dave is round. Harry is cold. Harry is green. Harry is quiet. Harry is red. Harry is round. Harry is smart. Harry is young. If someone is smart then they are cold. Young people are smart. If someone is round and young then they are smart. Green people are young. If someone is cold then they are round. If someone is red then they are smart. If someone is cold and quiet then they are smart. If someone is round and young then they are quiet.
Charlie is not smart.