Charlie is cold. Charlie is young. Gary is cold. If Gary is nice and Gary is red then Gary is cold. All young, cold things are white. Nice things are young. All big things are red. If Charlie is white then Charlie is nice. Cold things are nice. If Gary is young then Gary is white. If something is big and kind then it is young.
Gary is not nice.