Charlie is round. Charlie is smart. Dave is smart. If something is kind and green then it is rough. All smart things are green. All green things are round. All young things are kind. All young things are green. Round, smart things are young. All kind, smart things are green. If Dave is young then Dave is rough.
Dave is young.