Charlie is young. Dave is round. Gary is cold. Cold things are young. If Charlie is young then Charlie is red. Cold, red things are white. If something is cold and green then it is round. If something is young then it is red. All cold, blue things are green.
Charlie is blue.