Bob is cold. Bob is green. Bob is red. Charlie is blue. Charlie is green. Charlie is red. Charlie is smart. Fiona is blue. Fiona is green. Fiona is kind. Gary is blue. Gary is green. All red, green things are big. If something is smart and red then it is big. Blue, green things are kind. If something is red then it is big. All smart things are big. All smart, cold things are green. If Charlie is big then Charlie is cold. If something is smart and kind then it is big.
Charlie is green.