Charlie is big. Charlie is quiet. Charlie is white. Dave is big. Dave is blue. Dave is kind. Dave is quiet. Dave is smart. Gary is quiet. Gary is red. Gary is smart. Gary is white. If Dave is smart then Dave is big. All big, blue things are red. If Dave is big then Dave is smart. All smart, white things are blue. Red, big things are blue. All quiet, big things are red. Blue, quiet things are white. All smart things are red.
Charlie is not smart.