本論文においては、自然言語対話システムやエキスパートシステムを構築する際に必要な、IF...THEN...ルールベースの推論方法を提案する。本手法は、自然言語命題“QA are F is τ ”が与えられた時、IF...THEN...ルール“IF Q'A' are F' is τA THEN Q''A'' are F'' is τB　”に従って、推論結果“Q''A'' are F'' is τB'　” (Q, Q', Q'': ファジイ量限定詞, A, A', A'': ファジイ主語, F, F', F'': ファジイ述語, τ, τA, τB, τB': 真理値限定詞)を得る方法に言及するものであり、適用例によりその有効性を確認した。