Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Dave is white. Harry is nice. All blue, nice things are quiet. All smart, big things are green. If something is nice then it is green. If something is green then it is nice. Quiet, blue things are smart. If something is smart and blue then it is nice. All green, nice things are blue. If Harry is quiet and Harry is white then Harry is smart.
Harry is not big.