The goal "John is citizen" has two abductive solutions, one of which is "John is born in the USA", the other of which is "John is born outside the USA" and "John is registered".
هدف «جان ساکن است» دارای دو راه حل قیاسی است، یکی از آنها «جان در ایالات متحده آمریکا متولد شد» دیگری این است که «جان در خارج از ایالات متحده آمریکا متولد شده‌است» و «جان ثبت شده» است.