Charlie is young. Gary is blue. Gary is round. All nice things are round. If something is blue then it is nice. If Charlie is nice then Charlie is young. If something is young and not quiet then it is blue. All green things are young. If Charlie is young and Charlie is green then Charlie is nice. If something is young and not quiet then it is red. If Charlie is not young and Charlie is not red then Charlie is blue.
Gary is not young.