21. مسئله استنتاج