本論文において，我々は自然言語対話システムやエキスパートシステムを構成する際に必要な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'：真理値限定詞）の時，真理値限定詞 τB' を求めることができる．我々は，推論結果“Q''A'' are F'' is τB'” を，Qが単調な場合に対し具体例により示す．さらに，様々な含意関数におけるルールの真理値ファジィ集合を求め，これらを使用した際の推論結果に対し考察を加える．