Anne is big. Anne is not green. Anne is kind. Anne is smart. Anne is young. Charlie is kind. Charlie is red. Charlie is smart. Charlie is young. Dave is green. Dave is not red. Dave is smart. Dave is young. Harry is kind. Harry is smart. Harry is young. If Charlie is cold then Charlie is not kind. If someone is kind and not smart then they are big. If someone is young and not smart then they are cold. Young, smart people are kind. All young people are big. All red people are green.
Charlie is not young.