Charlie is big. Charlie is not kind. Charlie is not smart. Charlie is young. Dave is not big. Dave is green. Dave is not kind. Dave is red. Dave is round. Dave is young. All round people are red. If someone is round then they are green. If someone is young and not smart then they are round.
Dave is green.