Charlie is not big. Charlie is green. Charlie is nice. Charlie is rough. Charlie is white. Dave is not big. Dave is green. Dave is quiet. Dave is smart. Fiona is quiet. Fiona is white. Harry is big. Harry is green. Harry is quiet. Harry is rough. If something is green and not big then it is smart. If Charlie is big then Charlie is not green. If something is not white then it is green.
Dave is white.