Charlie is quiet. Charlie is red. Dave is blue. Dave is cold. Dave is quiet. Dave is smart. Dave is white. Fiona is blue. Harry is red. Harry is smart. If something is blue then it is quiet. All big things are cold. If something is white then it is smart. All smart, white things are cold. All smart, cold things are big. Quiet, blue things are white.
Charlie is smart.