Charlie is red. Dave is blue. Erin is big. Fiona is red. If something is not green then it is quiet. All red things are blue. Kind things are white. All kind, big things are red. All quiet things are red. If something is not blue then it is big.
Charlie is big.