Charlie is green. Charlie is red. Dave is big. Dave is blue. Dave is cold. Dave is nice. Dave is red. Fiona is blue. Fiona is cold. Fiona is nice. Gary is blue. Gary is green. Cold things are white. If something is blue and green then it is white. All red, cold things are blue. Big, nice things are cold. If something is blue and big then it is nice. Big, red things are green.
Charlie is not big.