Bob is big. Bob is cold. Bob is green. Bob is young. Charlie is cold. Dave is big. Dave is cold. Harry is big. Harry is blue. Harry is quiet. Harry is young. Young things are big. All big, quiet things are green. Cold things are quiet. All green things are young. If something is blue then it is smart. If something is blue and big then it is smart. All young things are blue. If something is not big then it is smart. If Charlie is young and Charlie is not quiet then Charlie is green.
Dave is not young.