Anne is not cold. Anne is nice. Anne is smart. Charlie is big. Charlie is cold. Charlie is red. Gary is not smart. If something is not green then it is big. If something is blue and not cold then it is not big. All green things are not nice.
Charlie is not smart.