Anne is green. Anne is nice. Anne is quiet. Anne is round. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is round. Gary is nice. Gary is quiet. Gary is red. Gary is not rough. Gary is round. Gary is young. If something is young then it is round. If Charlie is green then Charlie is nice. If something is red then it is young. If Anne is young and Anne is not rough then Anne is round. If something is round and not rough then it is green. If something is young and not round then it is green. If Anne is not green and Anne is not quiet then Anne is not nice. If something is not green then it is not quiet.
Charlie is nice.