Charlie is green. Fiona is green. If something is big and cold then it is furry. White, cold things are red. All cold things are red. If something is green and not big then it is cold. Red things are white. All smart, cold things are white. If something is white then it is red. If something is not furry and not red then it is not white.
Charlie is not big.