Charlie is cold. Charlie is nice. Gary is green. Gary is quiet. Gary is young. Harry is cold. Harry is nice. Smart people are not young. Young, green people are red. If Gary is quiet then Gary is young.
Harry is not nice.