Charlie is blue. Charlie is not nice. Charlie is quiet. Charlie is round. Dave is nice. Harry is blue. Harry is nice. Harry is not quiet. Harry is red. Harry is round. Harry is smart. Harry is young. If someone is nice and not blue then they are round. If Harry is quiet and Harry is nice then Harry is not blue. If someone is quiet then they are round.
Charlie is not smart.