Bob is blue. Bob is red. Bob is smart. Charlie is big. Dave is big. Dave is nice. Dave is red. Dave is smart. Dave is white. Fiona is nice. Fiona is quiet. Fiona is red. All smart, big things are white. If something is big then it is smart. If something is blue then it is red.
Charlie is blue.