論理から答えを導くモデル
QNKS論理からの導出.pdf
図が大きいので、ダウンロードして拡大してみてください。