Bob is big. Bob is cold. Bob is smart. Charlie is cold. Charlie is smart. Dave is big. Fiona is red. If something is white and green then it is red. If something is kind then it is cold. If something is cold then it is white. If something is big then it is smart. All red things are smart. All smart things are kind. Kind, big things are green. If Fiona is smart then Fiona is white.
Charlie is cold.