Dave is cold. Harry is quiet. Harry is young. If Dave is cold then Dave is nice. All kind things are big. All young things are cold. If something is kind then it is nice. All nice, big things are kind. All cold, young things are kind. All smart, big things are young. If Dave is nice and Dave is cold then Dave is young.
Harry is not smart.