特許 7343158 法的推論提示方法、法的推論提示プログラム及び法的推論提示システム

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】特許公報(B2)

(11)【特許番号】

(24)【登録日】2023-09-04

(45)【発行日】2023-09-12

(54)【発明の名称】法的推論提示方法、法的推論提示プログラム及び法的推論提示システム

(51)【国際特許分類】

   G06Q 50/18 20120101AFI20230905BHJP

【ＦＩ】

G06Q50/18

【請求項の数】 6

(21)【出願番号】P 2019155281

(22)【出願日】2019-08-28

(65)【公開番号】P2021033803

(43)【公開日】2021-03-01

【審査請求日】2022-06-29

(73)【特許権者】

【識別番号】504202472

【氏名又は名称】大学共同利用機関法人情報・システム研究機構

(74)【代理人】

【識別番号】100119677

【弁理士】

【氏名又は名称】岡田 賢治

(74)【代理人】

【識別番号】100115794

【弁理士】

【氏名又は名称】今下 勝博

(72)【発明者】

【氏名】佐藤 健

(72)【発明者】

【氏名】高橋 和子

【審査官】貝塚 涼

(56)【参考文献】

【文献】特開２０１４－０９２８３４（ＪＰ，Ａ）

【文献】特開２００４－２２７３８５（ＪＰ，Ａ）

【文献】Zohreh Shams，ArgPROLEG: 民法要件事実論のための議論枠組み，第93回人工知能基本問題研究会資料(SIG-FPAI-B304)，日本，一般社団法人人工知能学会，2014年03月03日，第87-92頁

(58)【調査した分野】(Int.Cl.，ＤＢ名)

Ｇ０６Ｑ １０／００ － ９９／００

(57)【特許請求の範囲】

【請求項1】

原告側のコンピュータが、請求の趣旨をインタフェースから入力する原告側の請求趣旨入力手順と、
前記原告側のコンピュータ又はサーバが、前記請求の趣旨の成立のための法律要件と、前記法律要件の成立のための要件事実と、をデータベースから検索する原告側の法律要件検索手順と、
前記原告側のコンピュータが、前記請求の趣旨、前記法律要件及び前記要件事実が関連付けられたブロック図をインタフェースへと出力する原告側の法律要件出力手順と、
前記原告側のコンピュータが、前記要件事実の有無をインタフェースから入力する原告側の要件事実入力手順と、
前記原告側のコンピュータ又は前記サーバが、前記要件事実の有無に基づいて、前記法律要件の成否を判定し、前記法律要件の成否に基づいて、前記請求の趣旨の成否を判定する原告側の法律要件判定手順と、
前記原告側のコンピュータが、前記要件事実の有無と、前記法律要件の成否と、前記請求の趣旨の成否と、が反映された前記ブロック図をインタフェースへと出力する原告側の要件成否反映手順と、
被告側のコンピュータが、反論の意図をインタフェースから入力する被告側の反論意図入力手順と、
前記被告側のコンピュータ又は前記サーバが、前記請求の趣旨の不成立のための抗弁要件と、前記抗弁要件の成立のための抗弁事実と、をデータベースから検索する被告側の法律要件検索手順と、
前記被告側のコンピュータが、前記請求の趣旨、前記法律要件、前記要件事実、前記抗弁要件及び前記抗弁事実が関連付けられた前記ブロック図をインタフェースへと出力する被告側の法律要件出力手順と、
を順に備えることを特徴とする法的推論提示方法。

【請求項2】

前記被告側のコンピュータが、前記抗弁事実の有無及び前記要件事実の不存在の少なくともいずれかをインタフェースから入力する被告側の要件事実入力手順と、
前記被告側のコンピュータ又は前記サーバが、前記抗弁事実の有無が入力されたときにこれに基づいて、前記抗弁要件の成否を判定し、前記要件事実の不存在が入力されたときにこれに基づいて、前記法律要件の不成立を判定し、前記抗弁要件の成否及び前記法律要件の不成立の少なくともいずれかに基づいて、前記請求の趣旨の成否を判定する被告側の法律要件判定手順と、
前記被告側のコンピュータが、前記抗弁事実の有無及び前記要件事実の不存在の少なくともいずれかと、前記抗弁要件の成否及び前記法律要件の不成立の少なくともいずれかと、前記請求の趣旨の成否と、が反映された前記ブロック図をインタフェースへと出力する被告側の要件成否反映手順と、
を更に順に備えることを特徴とする、請求項１に記載の法的推論提示方法。

【請求項3】

前記原告側のコンピュータが、再反論の意図をインタフェースから入力する原告側の再反論意図入力手順と、
前記原告側のコンピュータ又は前記サーバが、前記抗弁要件の不成立のための再抗弁要件と、前記再抗弁要件の成立のための再抗弁事実と、をデータベースから検索する原告側の再抗弁要件検索手順と、
前記原告側のコンピュータが、前記請求の趣旨、前記法律要件、前記要件事実、前記抗弁要件、前記抗弁事実、前記再抗弁要件及び前記再抗弁事実が関連付けられた前記ブロック図をインタフェースへと出力する原告側の再抗弁要件出力手順と、
を更に順に備えることを特徴とする、請求項２に記載の法的推論提示方法。

【請求項4】

前記原告側のコンピュータが、前記再抗弁事実の有無及び前記抗弁事実の不存在の少なくともいずれかをインタフェースから入力する原告側の再抗弁事実入力手順と、
前記原告側のコンピュータ又は前記サーバが、前記再抗弁事実の有無が入力されたときにこれに基づいて、前記再抗弁要件の成否を判定し、前記抗弁事実の不存在が入力されたときにこれに基づいて、前記抗弁要件の不成立を判定し、前記再抗弁要件の成否及び前記抗弁要件の不成立の少なくともいずれかに基づいて、前記請求の趣旨の成否を判定する原告側の再抗弁要件判定手順と、
前記原告側のコンピュータが、前記再抗弁事実の有無及び前記抗弁事実の不存在の少なくともいずれかと、前記再抗弁要件の成否及び前記抗弁要件の不成立の少なくともいずれかと、前記請求の趣旨の成否と、が反映された前記ブロック図をインタフェースへと出力する原告側の再抗弁要件成否反映手順と、
を更に順に備えることを特徴とする、請求項３に記載の法的推論提示方法。

【請求項5】

請求項１から４のいずれかに記載の法的推論提示方法の各手順を順に、前記原告側のコンピュータ、前記被告側のコンピュータ又は前記サーバに実行させるための法的推論提示プログラム。

【請求項6】

請求項５に記載の法的推論提示プログラムを格納される法的推論提示システム。

【発明の詳細な説明】

【技術分野】

【0001】

本開示は、法的推論を分かり易く提示する技術に関する。

【背景技術】

【0002】

法的推論を分かり易く提示する技術が、特許文献１に開示されている。ここで、特許文献１では、原告及び被告の要件事実を全て揃えたうえで、請求の趣旨、法律要件及び要件事実が関連付けられたブロック図を提示し、法的推論を分かり易く提示する。

【先行技術文献】

【特許文献】

【0003】

【文献】特許第６１１２５４２号明細書

【発明の概要】

【発明が解決しようとする課題】

【0004】

しかし、特許文献１では、原告の主張及び被告の反論の各段階において、充足すべき法律要件及び立証すべき要件事実を提示し、要件事実の有無に基づいて法律要件の成否を判定し、原告と被告の間で双方向にやり取りすることができない。

【0005】

そこで、前記課題を解決するために、本開示は、原告の主張及び被告の反論の各段階において、充足すべき法律要件及び立証すべき要件事実を提示し、要件事実の有無に基づいて法律要件の成否を判定し、原告と被告の間で双方向にやり取りすることを目的とする。

【課題を解決するための手段】

【0006】

前記課題を解決するために、原告の主張及び被告の反論の各段階において、充足すべき法律要件及び立証すべき要件事実を、データベースから検索しブロック図として提示する。そして、原告の主張及び被告の反論の各段階において、インタフェースから入力した要件事実の有無に基づいて、法律要件の成否を判定しブロック図として提示する。

【0007】

具体的には、本開示は、請求の趣旨をインタフェースから入力する原告側の請求趣旨入力手順と、前記請求の趣旨の成立のための法律要件と、前記法律要件の成立のための要件事実と、をデータベースから検索する原告側の法律要件検索手順と、前記請求の趣旨、前記法律要件及び前記要件事実が関連付けられたブロック図をインタフェースへと出力する原告側の法律要件出力手順と、を順に備えることを特徴とする法的推論提示方法である。

【0008】

この構成によれば、原告の主張の段階において、充足すべき法律要件及び立証すべき要件事実を提示し、法的推論の過程を分かり易く提示することができる。

【0009】

また、本開示は、前記要件事実の有無をインタフェースから入力する原告側の要件事実入力手順と、前記要件事実の有無に基づいて、前記法律要件の成否を判定し、前記法律要件の成否に基づいて、前記請求の趣旨の成否を判定する原告側の法律要件判定手順と、前記要件事実の有無と、前記法律要件の成否と、前記請求の趣旨の成否と、が反映された前記ブロック図をインタフェースへと出力する原告側の要件成否反映手順と、を更に順に備えることを特徴とする法的推論提示方法である。

【0010】

この構成によれば、原告の主張の段階において、要件事実の有無に基づいて法律要件の成否を判定し、法的推論の結果を分かり易く提示することができる。

【0011】

また、本開示は、反論の意図をインタフェースから入力する被告側の反論意図入力手順と、前記請求の趣旨の不成立のための抗弁要件と、前記抗弁要件の成立のための抗弁事実と、をデータベースから検索する被告側の法律要件検索手順と、前記請求の趣旨、前記法律要件、前記要件事実、前記抗弁要件及び前記抗弁事実が関連付けられた前記ブロック図をインタフェースへと出力する被告側の法律要件出力手順と、を更に順に備えることを特徴とする法的推論提示方法である。

【0012】

この構成によれば、被告の反論の段階において、充足すべき抗弁要件及び立証すべき抗弁事実を提示し、法的推論の過程を分かり易く提示することができる。

【0013】

また、本開示は、前記抗弁事実の有無及び前記要件事実の不存在の少なくともいずれかをインタフェースから入力する被告側の要件事実入力手順と、前記抗弁事実の有無が入力されたときにこれに基づいて、前記抗弁要件の成否を判定し、前記要件事実の不存在が入力されたときにこれに基づいて、前記法律要件の不成立を判定し、前記抗弁要件の成否及び前記法律要件の不成立の少なくともいずれかに基づいて、前記請求の趣旨の成否を判定する被告側の法律要件判定手順と、前記抗弁事実の有無及び前記要件事実の不存在の少なくともいずれかと、前記抗弁要件の成否及び前記法律要件の不成立の少なくともいずれかと、前記請求の趣旨の成否と、が反映された前記ブロック図をインタフェースへと出力する被告側の要件成否反映手順と、を更に順に備えることを特徴とする法的推論提示方法である。

【0014】

この構成によれば、被告の反論の段階において、抗弁事実の有無に基づいて抗弁要件の成否を判定し、法的推論の結果を分かり易く提示することができる。

【0015】

また、本開示は、以上に記載の法的推論提示方法の各手順を順にコンピュータ又はサーバに実行させるための法的推論提示プログラムである。

【0016】

この構成によれば、原告の主張及び被告の反論の各段階において、充足すべき法律要件及び立証すべき要件事実を提示し、要件事実の有無に基づいて法律要件の成否を判定し、原告と被告の間で双方向にやり取りすることができる。

【0017】

また、本開示は、以上に記載の法的推論提示プログラムを格納される法的推論提示システムである。

【0018】

この構成によれば、原告の主張及び被告の反論の各段階において、充足すべき法律要件及び立証すべき要件事実を提示し、要件事実の有無に基づいて法律要件の成否を判定し、原告と被告の間で双方向にやり取りすることができる。

【発明の効果】

【0019】

このように、本開示は、原告の主張及び被告の反論の各段階において、充足すべき法律要件及び立証すべき要件事実を提示し、要件事実の有無に基づいて法律要件の成否を判定し、原告と被告の間で双方向にやり取りすることができる。

【図面の簡単な説明】

【0020】

【図1】本開示の法的推論提示システムの構成を示す図である。

【図2】本開示の法的推論提示システムの構成を示す図である。

【図3】本開示の原告側の主張手順を示すフローチャートである。

【図4】本開示の原告側のステップＳＰ１の処理内容を示す図である。

【図5】本開示の原告側のステップＳＰ２、ＳＰ３の処理内容を示す図である。

【図6】本開示の原告側のステップＳＰ４の処理内容を示す図である。

【図7】本開示の原告側のステップＳＰ５、ＳＰ６の処理内容を示す図である。

【図8】本開示の原告側の主張手順終了後の表示画面を示す図である。

【図9】本開示の被告側の反論手順を示すフローチャートである。

【図10】本開示の被告側のステップＳＤ２、ＳＤ３の処理内容を示す図である。

【図11】本開示の被告側のステップＳＤ４の処理内容を示す図である。

【図12】本開示の被告側のステップＳＤ５、ＳＤ６の処理内容を示す図である。

【図13】本開示の被告側の反論手順終了後の表示画面を示す図である。

【図14】本開示の原告側の再反論手順を示すフローチャートである。

【図15】本開示の原告側のステップＳＰ８、ＳＰ９の処理内容を示す図である。

【図16】本開示の原告側のステップＳＰ１０の処理内容を示す図である。

【図17】本開示の原告側のステップＳＰ１１、ＳＰ１２の処理内容を示す図である。

【図18】本開示の原告側の再反論手順終了後の表示画面を示す図である。

【発明を実施するための形態】

【0021】

添付の図面を参照して本開示の実施形態を説明する。以下に説明する実施形態は本開示の実施の例であり、本開示は以下の実施形態に制限されるものではない。

【0022】

（法的推論提示システムの構成）
本開示の法的推論提示システムの構成を図１に示す。原告側のコンピュータＣＰは、原告の主張の段階において、充足すべき法律要件及び立証すべき要件事実を、データベース３Ｐから検索しブロック図として提示し、インタフェース１Ｐから入力した要件事実の有無に基づいて、法律要件の成否を判定しブロック図として提示する。被告側のコンピュータＣＤは、被告の反論の段階において、充足すべき法律要件及び立証すべき要件事実を、データベース３Ｄから検索しブロック図として提示し、インタフェース１Ｄから入力した要件事実の有無に基づいて、法律要件の成否を判定しブロック図として提示する。

【0023】

原告側のコンピュータＣＰは、インタフェース１Ｐ、法律要件検索部２Ｐ、データベース３Ｐ、法律要件出力部４Ｐ、法律要件判定部５Ｐ及び要件成否反映部６Ｐを備える。被告側のコンピュータＣＤは、インタフェース１Ｄ、法律要件検索部２Ｄ、データベース３Ｄ、法律要件出力部４Ｄ、法律要件判定部５Ｄ及び要件成否反映部６Ｄを備える。原告側のコンピュータＣＰと被告側のコンピュータＣＤは、直接的に通信する。

【0024】

本開示の法的推論提示システムの構成を図２に示す。サーバＳは、原告の主張及び被告の反論の各段階において、充足すべき法律要件及び立証すべき要件事実を、データベース３から検索しブロック図として提示し、インタフェース１から入力した要件事実の有無に基づいて、法律要件の成否を判定しブロック図として提示する。

【0025】

サーバＳは、インタフェース１、法律要件検索部２、データベース３、法律要件出力部４、法律要件判定部５及び要件成否反映部６を備える。原告側のコンピュータＣＰは、インタフェース１Ｐを備える。被告側のコンピュータＣＤは、インタフェース１Ｄを備える。原告側のコンピュータＣＰと被告側のコンピュータＣＤは、サーバＳ経由で通信する。

【0026】

以下では、図１に示した法的推論提示システムを説明する。ここで、図２に示した法的推論提示システムも同様である。つまり、サーバＳの法律要件検索部２、データベース３、法律要件出力部４、法律要件判定部５及び要件成否反映部６は、それぞれ、コンピュータＣＰ、ＣＤの法律要件検索部２Ｐ、２Ｄ、データベース３Ｐ、３Ｄ、法律要件出力部４Ｐ、４Ｄ、法律要件判定部５Ｐ、５Ｄ及び要件成否反映部６Ｐ、６Ｄと同様である。

【0027】

（原告側の主張手順）
本開示の原告側の主張手順を示すフローチャートを図３に示す。

【0028】

法律要件検索部２Ｐは、請求の趣旨をインタフェース１Ｐから入力する（ステップＳＰ１）。本開示の原告側のステップＳＰ１の処理内容を図４に示す。

【0029】

法律要件検索部２Ｐは、請求の趣旨の概要をデータベース３Ｐから検索し、法律要件出力部４Ｐは、請求の趣旨の概要をインタフェース１Ｐへと出力する。図４の上段では、「何をしたいですか？」のブロックの下位に、「解除をしたい」のブロック、「お金を請求したい」のブロック及び「人を追い出したい」のブロック等が並列にインタフェース１Ｐに表示される。そして、「解除をしたい」のブロックがインタフェース１Ｐで選択される。

【0030】

法律要件検索部２Ｐは、「解除をしたい」の詳細をデータベース３Ｐから検索し、法律要件出力部４Ｐは、「解除をしたい」の詳細をインタフェース１Ｐへと出力する。図４の中段では、「解除をしたい」のブロックの下位に、「売買契約の解除」のブロック、「賃貸借契約の解除」のブロック及び「請負の解除」のブロック等が並列にインタフェース１Ｐに表示される。そして、「売買契約の解除」のブロックがインタフェース１Ｐで選択される。

【0031】

法律要件検索部２Ｐは、「売買契約の解除」のブロックをデータベース３Ｐから検索し、法律要件出力部４Ｐは、「売買契約の解除」のブロックをインタフェース１Ｐへと出力する。後述の図５の左上では、「趣旨ｐ、詳細－３３４０、成否ｕ」のブロックにおいて、「趣旨ｐ」が「売買契約の解除」に代えてインタフェース１Ｐに表示される。

【0032】

ここで、画面表示される各ブロックを説明する。各ブロックの上段は、請求の趣旨、法律要件、要件事実、抗弁要件、抗弁事実、再抗弁要件及び再抗弁事実について、概要を示す。各ブロックの中段は、請求の趣旨、法律要件、要件事実、抗弁要件、抗弁事実、再抗弁要件及び再抗弁事実について、詳細を示す。各ブロックの下段は、請求の趣旨、法律要件、要件事実、抗弁要件、抗弁事実、再抗弁要件及び再抗弁事実について、成否を示す。ｑは入力待ちを示し、ｕは成否不明を示し、〇は成立を示し、×は不成立を示す。

【0033】

請求の趣旨及び法律要件は、これの成立のための法律要件及び要件事実と関連付けて、原則ルールとしてデータベース３Ｐ、３Ｄのうちのルールベースに格納される。抗弁要件及び再抗弁要件は、これの成立のための抗弁事実及び再抗弁事実と関連付けて、例外ルールとしてデータベース３Ｐ、３Ｄのうちのルールベースに格納される。要件事実、抗弁事実及び再抗弁事実は、データベース３Ｐ、３Ｄのうちのファクトベースに格納される。

【0034】

法律要件検索部２Ｐは、請求の趣旨の成立のための法律要件と、法律要件の成立のための要件事実と、をデータベース３Ｐから検索する（ステップＳＰ２）。法律要件出力部４Ｐは、請求の趣旨、法律要件及び要件事実が関連付けられたブロック図をインタフェース１Ｐへと出力する（ステップＳＰ３）。本開示の原告側のステップＳＰ２、ＳＰ３の処理内容を図５に示す。

【0035】

法律要件検索部２Ｐは、以下の法律要件及び要件事実をデータベース３Ｐから検索する：（１）請求の趣旨ｐの成立のための法律要件ｒ又は法律要件ｑ、（２）法律要件ｒの成立のための要件事実ｒ１、（３）法律要件ｑの成立のための法律要件ｑ１又は要件事実ｑ２、（４）法律要件ｑ１の成立のための要件事実ｑ１１－１、ｑ１１－２、法律要件ｑ１２又は要件事実ｑ１３、（５）法律要件ｑ１２の成立のための要件事実ｑ１２－１。

【0036】

法律要件検索部２Ｐは、以下の請求の趣旨、法律要件及び要件事実の成否を判定する：（１）要件事実ｒ１の成否ｑに伴って、法律要件ｒの成否ｕ、（２）要件事実ｑ１２－１の成否ｑに伴って、法律要件ｑ１２の成否ｕ、（３）要件事実ｑ１１－１、ｑ１１－２の成否ｑ、法律要件ｑ１２の成否ｕ及び要件事実ｑ１３の成否ｑに伴って、法律要件ｑ１の成否ｕ、（４）法律要件ｑ１の成否ｕ及び要件事実ｑ２の成否ｑに伴って、法律要件ｑの成否ｕ、（５）法律要件ｒの成否ｕ及び法律要件ｑの成否ｕに伴って、請求の趣旨ｐの成否ｕ。

【0037】

法律要件出力部４Ｐは、以下の請求の趣旨、法律要件及び要件事実をインタフェース１Ｐへと出力する：（１）「請求の趣旨ｐ、成否ｕ」のブロック、（２）「請求の趣旨ｐ、成否ｕ」のブロックの下位に、「法律要件ｒ、成否ｕ」のブロック又は「法律要件ｑ、成否ｕ」のブロック、（３）「法律要件ｒ、成否ｕ」のブロックの下位に、「要件事実ｒ１、成否ｑ」のブロック、（４）「法律要件ｑ、成否ｕ」のブロックの下位に、「法律要件ｑ１、成否ｕ」のブロック又は「要件事実ｑ２、成否ｑ」のブロック、（５）「法律要件ｑ１、成否ｕ」のブロックの下位に、「要件事実ｑ１１－１、ｑ１１－２、成否ｑ」のブロック、「法律要件ｑ１２、成否ｕ」のブロック又は「要件事実ｑ１３、成否ｑ」のブロック、（６）「法律要件ｑ１２、成否ｕ」のブロックの下位に、「要件事実ｑ１２－１、成否ｑ」のブロック。

【0038】

このように、原告の主張の段階において、充足すべき法律要件及び立証すべき要件事実を提示し、法的推論の過程を分かり易く提示することができる。

【0039】

法律要件判定部５Ｐは、要件事実の有無をインタフェース１Ｐから入力する（ステップＳＰ４）。本開示の原告側のステップＳＰ４の処理内容を図６に示す。

【0040】

法律要件判定部５Ｐは、以下の要件事実の有無をインタフェース１Ｐから入力する：（１）要件事実ｒ１の成否〇、（２）要件事実ｑ１１－１、ｑ１１－２の成否〇、（３）要件事実ｑ１２－１の成否〇、（４）要件事実ｑ１３の成否〇。一方で、要件事実ｑ２の成否については、インタフェース１Ｐから入力されていない。

【0041】

法律要件判定部５Ｐは、要件事実の有無に基づいて、法律要件の成否を判定し、法律要件の成否に基づいて、請求の趣旨の成否を判定する（ステップＳＰ５）。要件成否反映部６Ｐは、要件事実の有無と、法律要件の成否と、請求の趣旨の成否と、が反映されたブロック図をインタフェース１Ｐへと出力する（ステップＳＰ６）。本開示の原告側のステップＳＰ５、ＳＰ６の処理内容を図７に示す。

【0042】

法律要件判定部５Ｐは、以下の請求の趣旨及び法律要件の成否を判定する：（１）要件事実ｒ１の成否〇に伴って、法律要件ｒの成否〇、（２）要件事実ｑ１２－１の成否〇に伴って、法律要件ｑ１２の成否〇、（３）要件事実ｑ１１－１、ｑ１１－２の成否〇、法律要件ｑ１２の成否〇又は要件事実ｑ１３の成否〇に伴って、法律要件ｑ１の成否〇、（４）法律要件ｑ１の成否〇に伴って、法律要件ｑの成否〇、（５）法律要件ｒの成否〇又は法律要件ｑの成否〇に伴って、請求の趣旨ｐの成否〇。

【0043】

要件成否反映部６Ｐは、以下の請求の趣旨及び法律要件の変更をインタフェース１Ｐへと出力する：（１）「請求の趣旨ｐ、成否〇」のブロック、（２）「請求の趣旨ｐ、成否〇」のブロックの下位に、「法律要件ｒ、成否〇」のブロック又は「法律要件ｑ、成否〇」のブロック、（３）「法律要件ｑ、成否〇」のブロックの下位に、「法律要件ｑ１、成否〇」のブロック、（４）「法律要件ｑ１、成否〇」のブロックの下位に、「法律要件ｑ１２、成否〇」のブロック。一方で、要件事実ｑ２の系統については、インタフェース１Ｐへと出力されていない。

【0044】

原告側のコンピュータＣＰは、被告側のコンピュータＣＤに、図７に示したブロック図を送信する。以上をもって、原告の主張手順ＳＰ１～ＳＰ６が終了する。

【0045】

このように、原告の主張の段階において、要件事実の有無に基づいて法律要件の成否を判定し、法的推論の結果を分かり易く提示することができる。

【0046】

本開示の原告側の主張手順終了後の表示画面の具体的な請求原因の主張（無断転貸による賃貸借契約解除）の例を図８に示す。「請求の趣旨：無断転貸解除、詳細：原告、被告、平成１９年３月１６日」のブロックの下位に、以下のブロックがＡＮＤで表示される：（１）「法律要件：賃貸借契約成立、詳細：原告、被告」のブロック、（２）「要件事実：引渡し、詳細：原告、被告」のブロック、（３）「法律要件：賃貸借契約成立、詳細：被告、訴外Ａ」のブロック、（４）「要件事実：引渡し、詳細：被告、訴外Ａ」のブロック、（５）「要件事実：使用収益、詳細：訴外Ａ」のブロック、（６）「要件事実：無断転貸による解除の意思表示、詳細：原告、被告、平成１９年３月１６日」のブロック。「法律要件：賃貸借契約成立、詳細：原告、被告」のブロックの下位に、「要件事実：合意による賃貸借契約成立、詳細：原告、被告」のブロックが表示される。「法律要件：賃貸借契約成立、詳細：被告、訴外Ａ」のブロックの下位に、「要件事実：合意による賃貸借契約成立、詳細：被告、訴外Ａ」のブロックが表示される。

【0047】

「要件事実：合意による賃貸借契約成立、詳細：原告、被告」の成否〇に伴って、「法律要件：賃貸借契約成立、詳細：原告、被告」の成否〇が表示される。「要件事実：合意による賃貸借契約成立、詳細：被告、訴外Ａ」の成否〇に伴って、「法律要件：賃貸借契約成立、詳細：被告、訴外Ａ」の成否〇が表示される。以下の成否〇のＡＮＤに伴って、「請求の趣旨：無断転貸解除、詳細：原告、被告、平成１９年３月１６日」の成否〇が表示される：（１）「法律要件：賃貸借契約成立、詳細：原告、被告」の成否〇、（２）「要件事実：引渡し、詳細：原告、被告」の成否〇、（３）「法律要件：賃貸借契約成立、詳細：被告、訴外Ａ」の成否〇、（４）「要件事実：引渡し、詳細：被告、訴外Ａ」の成否〇、（５）「要件事実：使用収益、詳細：訴外Ａ」の成否〇、（６）「要件事実：無断転貸による解除の意思表示、詳細：原告、被告、平成１９年３月１６日」の成否〇。

【0048】

（被告側の反論手順）
本開示の被告側の反論手順を示すフローチャートを図９に示す。法律要件検索部２Ｄは、反論の意図をインタフェース１Ｄから入力する（ステップＳＤ１）。

【0049】

法律要件検索部２Ｄは、請求の趣旨の不成立のための抗弁要件と、抗弁要件の成立のための抗弁事実と、をデータベース３Ｄから検索する（ステップＳＤ２）。法律要件出力部４Ｄは、請求の趣旨、法律要件、要件事実、抗弁要件及び抗弁事実が関連付けられたブロック図をインタフェース１Ｄへと出力する（ステップＳＤ３）。本開示の被告側のステップＳＤ２、ＳＤ３の処理内容を図１０に示す。

【0050】

法律要件検索部２Ｄは、以下の抗弁要件及び抗弁事実をデータベース３Ｄから検索する：（１）請求の趣旨ｐの不成立のための抗弁要件ｓ、（２）抗弁要件ｓの成立のための抗弁事実ｔ、（３）法律要件ｑ１の不成立のための抗弁要件ｗ、（４）抗弁要件ｗの成立のための抗弁事実ｙ、（５）法律要件ｑ１２の不成立のための抗弁要件ｚ、（６）抗弁要件ｚの成立のための抗弁事実ａ。

【0051】

法律要件検索部２Ｄは、以下の請求の趣旨、法律要件、抗弁要件及び抗弁事実の成否を判定する：（１）抗弁事実ｔの成否ｑに伴って、抗弁要件ｓの成否ｕ、（２）抗弁事実ｙの成否ｑに伴って、抗弁要件ｗの成否ｕ、（３）抗弁要件ｗの成否ｕに伴って、法律要件ｑ１、ｑの成否ｕ、（４）抗弁事実ａの成否ｑに伴って、抗弁要件ｚの成否ｕ、（５）抗弁要件ｚの成否ｕに伴って、法律要件ｑ１２、ｑ１、ｑの成否ｕ、（６）抗弁要件ｓの成否ｕ又は法律要件ｑの成否ｕに伴って、請求の趣旨ｐの成否ｕ。

【0052】

法律要件出力部４Ｄは、以下の請求の趣旨、法律要件、抗弁要件及び抗弁事実をインタフェース１Ｄへと出力する：（１）「請求の趣旨ｐ、成否ｕ」のブロック、（２）「請求の趣旨ｐ、成否ｕ」のブロックの下位に、「抗弁要件ｓの成否ｕ」のブロック又は「法律要件ｑの成否ｕ」のブロック、（３）「抗弁要件ｓの成否ｕ」のブロックの下位に、「抗弁事実ｔの成否ｑ」のブロック、（４）「法律要件ｑの成否ｕ」のブロックの下位に、「法律要件ｑ１、ｑ１２の成否ｕ」のブロック、（５）「法律要件ｑ１の成否ｕ」のブロックの下位に、「抗弁要件ｗの成否ｕ」のブロック、（６）「抗弁要件ｗの成否ｕ」のブロックの下位に、「抗弁事実ｙの成否ｑ」のブロック、（７）「法律要件ｑ１２の成否ｕ」のブロックの下位に、「抗弁要件ｚの成否ｕ」のブロック、（８）「抗弁要件ｚの成否ｕ」のブロックの下位に、「抗弁事実ａの成否ｑ」のブロック。

【0053】

このように、被告の反論の段階において、充足すべき抗弁要件及び立証すべき抗弁事実を提示し、法的推論の過程を分かり易く提示することができる。

【0054】

法律要件判定部５Ｄは、抗弁事実の有無及び要件事実の不存在の少なくともいずれかをインタフェース１Ｄから入力する（ステップＳＤ４）。本開示の被告側のステップＳＤ４の処理内容を図１１に示す。

【0055】

法律要件判定部５Ｄは、以下の抗弁事実の有無及び要件事実の不存在をインタフェース１Ｄから入力する：（１）要件事実ｒ１の成否ｕ、（２）抗弁事実ｔの成否〇（ただし、要件事実ｑ１１－１、ｑ１１－２、ｑ１３の系統のみ。）、（３）抗弁事実ｙの成否〇（ただし、要件事実ｑ１１－１、ｑ１１－２の系統のみ。）、（４）抗弁事実ａの成否〇。一方で、（２）以外の抗弁事実ｔの成否及び（３）以外の抗弁事実ｙの成否については、インタフェース１Ｄから入力されていない。

【0056】

法律要件判定部５Ｄは、抗弁事実の有無が入力されたときにこれに基づいて、抗弁要件の成否を判定し、要件事実の不存在が入力されたときにこれに基づいて、法律要件の不成立を判定し、抗弁要件の成否及び法律要件の不成立の少なくともいずれかに基づいて、請求の趣旨の成否を判定する（ステップＳＤ５）。要件成否反映部６Ｄは、抗弁事実の有無及び要件事実の不存在の少なくともいずれかと、抗弁要件の成否及び法律要件の不成立の少なくともいずれかと、請求の趣旨の成否と、が反映されたブロック図をインタフェース１Ｄへと出力する（ステップＳＤ６）。本開示の被告側のステップＳＤ５、ＳＤ６の処理内容を図１２に示す。

【0057】

法律要件判定部５Ｄは、以下の請求の趣旨、法律要件及び抗弁要件の成否を判定する：（１）要件事実ｒ１の成否ｕに伴って、法律要件ｒの成否ｕ、（２）抗弁事実ｔの成否〇に伴って、抗弁要件ｓの成否〇（ただし、要件事実ｑ１１－１、ｑ１１－２、ｑ１３の系統のみ。）、（３）抗弁事実ｙの成否〇に伴って、抗弁要件ｗの成否〇（ただし、要件事実ｑ１１－１、ｑ１１－２の系統のみ。）、（４）抗弁要件ｗの成否〇に伴って、法律要件ｑ１、ｑの成否×（ただし、要件事実ｑ１１－１、ｑ１１－２の系統のみ。）、（５）抗弁事実ａの成否〇に伴って、抗弁要件ｚの成否〇、（６）抗弁要件ｚの成否〇に伴って、法律要件ｑ１２、ｑ１、ｑの成否×、（７）法律要件ｒの成否ｕに伴って、抗弁要件ｓの成否〇又は法律要件ｑの成否×に関わらず、請求の趣旨ｐの成否ｕ。

【0058】

要件成否反映部６Ｄは、以下の法律要件及び抗弁要件の変更をインタフェース１Ｄへと出力する：（１）「請求の趣旨ｐ、成否ｕ」のブロックの下位に、「法律要件ｒ、成否ｕ」のブロック、（２）「請求の趣旨ｐ、成否ｕ」のブロックの下位に、「抗弁要件ｓ、成否〇」のブロック（ただし、要件事実ｑ１１－１、ｑ１１－２、ｑ１３の系統のみ。）、（３）「請求の趣旨ｐ、成否ｕ」のブロックの下位に、「法律要件ｑ、ｑ１、成否×」のブロック（ただし、要件事実ｑ１１－１、ｑ１１－２の系統のみ。）、（４）「法律要件ｑ１、成否×」のブロックの下位に、「抗弁要件ｗ、成否〇」のブロック（ただし、要件事実ｑ１１－１、ｑ１１－２の系統のみ。）、（５）「請求の趣旨ｐ、成否ｕ」のブロックの下位に、「法律要件ｑ、ｑ１、ｑ１２、成否×」のブロック（ただし、要件事実ｑ１２－１の系統のみ。）、（６）「法律要件ｑ１２、成否×」のブロックの下位に、「抗弁要件ｚ、成否〇」のブロック（ただし、要件事実ｑ１２－１の系統のみ。）。なお、要件事実ｑ１３の系統において、抗弁事実ｙの成否が入力されていないため（図１１を参照。）、抗弁要件ｗのブロックが除去され、法律要件ｑ、ｑ１の成否〇が表示される（図１２を参照。）。

【0059】

被告側のコンピュータＣＤは、原告側のコンピュータＣＰに、図１２に示したブロック図を送信する。以上をもって、被告の反論手順ＳＤ１～ＳＤ６が終了する。

【0060】

このように、被告の反論の段階において、抗弁事実の有無に基づいて抗弁要件の成否を判定し、法的推論の結果を分かり易く提示することができる。

【0061】

本開示の被告側の反論手順終了後の表示画面の具体的な法律的反論（無断転貸による賃貸借契約解除に対する反論）の例を図１３に示す。「請求の趣旨：無断転貸解除、詳細：原告、被告、平成１９年３月１６日」のブロックの下位に、「抗弁要件：転貸承諾、詳細：原告、被告、平成１９年３月１６日」のブロックと、「抗弁要件：信頼関係破壊なしの評価根拠事実」のブロックと、がＯＲで表示される。「抗弁要件：転貸承諾、詳細：原告、被告、平成１９年３月１６日」のブロックの下位に、「抗弁要件：意思表示の効力、転貸承諾、詳細：原告、被告、平成１８年１２月６日」のブロックと、「抗弁事実：先立つ日、詳細：平成１８年１２月６日、平成１９年３月１６日」のブロックと、がＡＮＤで表示される。「抗弁要件：意思表示の効力、転貸承諾、詳細：原告、被告、平成１８年１２月６日」のブロックの下位に、「抗弁事実：意思表示、転貸承諾、詳細：原告、被告、平成１８年１２月６日」のブロックが表示される。「抗弁要件：信頼関係破壊なしの評価根拠事実」のブロックの下位に、「抗弁事実：信頼関係破壊なしの評価根拠事実にあたる事情、詳細：毎日の使用時間が短時間」のブロックが表示される。

【0062】

「抗弁事実：意思表示、転貸承諾、詳細：原告、被告、平成１８年１２月６日」の成否×に伴って、「抗弁要件：意思表示の効力、転貸承諾、詳細：原告、被告、平成１８年１２月６日」の成否×が表示される。「抗弁要件：意思表示の効力、転貸承諾、詳細：原告、被告、平成１８年１２月６日」の成否×に伴って、「抗弁事実：先立つ日、詳細：平成１８年１２月６日、平成１９年３月１６日」の成否〇に関わらず、「抗弁要件：転貸承諾、詳細：原告、被告、平成１９年３月１６日」の成否×が表示される。「抗弁事実：信頼関係破壊なしの評価根拠事実にあたる事情、詳細：毎日の使用時間が短時間」の成否〇に伴って、「抗弁要件：信頼関係破壊なしの評価根拠事実」の成否〇が表示される。「抗弁要件：信頼関係破壊なしの評価根拠事実」の成否〇に伴って、「抗弁要件：転貸承諾、詳細：原告、被告、平成１９年３月１６日」の成否×に関わらず、「請求の趣旨：無断転貸解除、詳細：原告、被告、平成１９年３月１６日」の成否×が表示される。

【0063】

（原告側の再反論手順）
本開示の原告側の再反論手順を示すフローチャートを図１４に示す。法律要件検索部２Ｐは、再反論の意図をインタフェース１Ｐから入力する（ステップＳＰ７）。

【0064】

法律要件検索部２Ｐは、抗弁要件の不成立のための再抗弁要件と、再抗弁要件の成立のための再抗弁事実と、をデータベース３Ｐから検索する（ステップＳＰ８）。法律要件出力部４Ｐは、請求の趣旨、法律要件、要件事実、抗弁要件、抗弁事実、再抗弁要件及び再抗弁事実が関連付けられたブロック図をインタフェース１Ｐへと出力する（ステップＳＰ９）。本開示の原告側のステップＳＰ８、ＳＰ９の処理内容を図１５に示す。

【0065】

法律要件検索部２Ｐは、以下の再抗弁要件及び再抗弁事実をデータベース３Ｐから検索する：（１）抗弁要件ｓの不成立のための再抗弁要件ｕ、（２）再抗弁要件ｕの成立のための再抗弁事実ｖ、（３）抗弁要件ｚの不成立のための再抗弁要件ｂ、（４）再抗弁要件ｂの成立のための再抗弁事実ｃ。

【0066】

法律要件検索部２Ｐは、以下の請求の趣旨、法律要件、抗弁要件、再抗弁要件及び再抗弁事実の成否を判定する：（１）再抗弁事実ｖの成否ｑに伴って、再抗弁要件ｕの成否ｕ、（２）再抗弁要件ｕの成否ｕに伴って、抗弁要件ｓの成否ｕ、（３）再抗弁事実ｃの成否ｑに伴って、再抗弁要件ｂの成否ｕ、（４）再抗弁要件ｂの成否ｕに伴って、抗弁要件ｚの成否ｕ、（５）抗弁要件ｚの成否ｕに伴って、法律要件ｑ１２、ｑ１、ｑの成否ｕ、（６）法律要件ｒの成否ｕ、抗弁要件ｓの成否ｕ又は法律要件ｑの成否ｕ（ただし、要件事実ｑ１２－１の系統のみ。）に伴って、請求の趣旨ｐの成否ｕ。

【0067】

法律要件出力部４Ｐは、以下の法律要件、抗弁要件、再抗弁要件及び再抗弁事実をインタフェース１Ｐへと出力する：（１）「請求の趣旨ｐ、成否ｕ」のブロックの下位に、「抗弁要件ｓの成否ｕ」のブロック又は「法律要件ｑの成否ｕ」のブロック（ただし、要件事実ｑ１２－１の系統のみ。）、（２）「抗弁要件ｓの成否ｕ」のブロックの下位に、「再抗弁要件ｕの成否ｕ」のブロック、（３）「再抗弁要件ｕの成否ｕ」のブロックの下位に、「再抗弁事実ｖの成否ｑ」のブロック、（４）「法律要件ｑの成否ｕ」のブロックの下位に、「法律要件ｑ１、ｑ１２の成否ｕ」のブロック、（５）「法律要件ｑ１２の成否ｕ」のブロックの下位に、「抗弁要件ｚの成否ｕ」のブロック、（６）「抗弁要件ｚの成否ｕ」のブロックの下位に、「再抗弁要件ｂの成否ｕ」のブロック、（７）「再抗弁要件ｂの成否ｕ」のブロックの下位に、「再抗弁事実ｃの成否ｑ」のブロック。

【0068】

このように、原告の再反論の段階において、充足すべき再抗弁要件及び立証すべき再抗弁事実を提示し、法的推論の過程を分かり易く提示することができる。

【0069】

法律要件判定部５Ｐは、再抗弁事実の有無及び抗弁事実の不存在の少なくともいずれかをインタフェース１Ｐから入力する（ステップＳＰ１０）。本開示の原告側のステップＳＰ１０の処理内容を図１６に示す。

【0070】

法律要件判定部５Ｐは、以下の再抗弁事実の有無及び抗弁事実の不存在をインタフェース１Ｐから入力する：（１）抗弁事実ｔの成否ｕ（ただし、要件事実ｑ１１－１、１１－２の系統のみ。）、（２）再抗弁事実ｖの成否〇（ただし、要件事実ｑ１３の系統のみ。）。一方で、（２）以外の再抗弁事実ｖの成否及び再抗弁事実ｃの成否については、インタフェース１Ｐから入力されていない。

【0071】

法律要件判定部５Ｐは、再抗弁事実の有無が入力されたときにこれに基づいて、再抗弁要件の成否を判定し、抗弁事実の不存在が入力されたときにこれに基づいて、抗弁要件の不成立を判定し、再抗弁要件の成否及び抗弁要件の不成立の少なくともいずれかに基づいて、請求の趣旨の成否を判定する（ステップＳＰ１１）。要件成否反映部６Ｐは、再抗弁事実の有無及び抗弁事実の不存在の少なくともいずれかと、再抗弁要件の成否及び抗弁要件の不成立の少なくともいずれかと、請求の趣旨の成否と、が反映されたブロック図をインタフェース１Ｐへと出力する（ステップＳＰ１２）。本開示の原告側のステップＳＰ１１、ＳＰ１２の処理内容を図１７に示す。

【0072】

法律要件判定部５Ｐは、以下の請求の趣旨、法律要件、抗弁要件及び再抗弁要件の成否を判定する：（１）要件事実ｔの成否ｕに伴って、抗弁要件ｓの成否ｕ（ただし、要件事実ｑ１１－１、１１－２の系統のみ。）、（２）再抗弁事実ｖの成否〇に伴って、再抗弁要件ｕの成否〇（ただし、要件事実ｑ１３の系統のみ。）、（３）再抗弁要件ｕの成否〇に伴って、抗弁要件ｓの成否×（ただし、要件事実ｑ１３の系統のみ。）、（４）抗弁要件ｓの成否×（ただし、要件事実ｑ１３の系統のみ。）に伴って、法律要件ｒの成否ｕ、抗弁要件ｓの成否ｕ（ただし、要件事実ｑ１１－１、１１－２の系統のみ。）又は法律要件ｑの成否×（ただし、要件事実ｑ１２－１の系統のみ。）に関わらず、請求の趣旨ｐの成否〇。

【0073】

要件成否反映部６Ｐは、以下の請求の趣旨、法律要件、抗弁要件及び再抗弁要件の変更をインタフェース１Ｐへと出力する：（１）「請求の趣旨ｐ、成否〇」のブロック、（２）「請求の趣旨ｐ、成否〇」のブロックの下位に、「抗弁要件ｓ、成否×」のブロック（ただし、要件事実ｑ１３の系統のみ。）、（３）「抗弁要件ｓ、成否×」のブロックの下位に、「再抗弁要件ｕ、成否〇」のブロック（ただし、要件事実ｑ１３の系統のみ。）。なお、要件事実ｑ１２－１の系統において、再抗弁事実ｃの成否が入力されていないため（図１６を参照。）、再抗弁要件ｂのブロックが除去され、抗弁要件ｚの成否〇及び法律要件ｑ１２、ｑ１、ｑの成否×が表示される（図１７を参照。）。

【0074】

原告側のコンピュータＣＰは、被告側のコンピュータＣＤに、図１７に示したブロック図を送信する。以上をもって、原告の再反論手順ＳＰ７～ＳＰ１２が終了する。

【0075】

このように、原告の再反論の段階において、再抗弁事実の有無に基づいて再抗弁要件の成否を判定し、法的推論の結果を分かり易く提示することができる。

【0076】

本開示の原告側の再反論手順終了後の表示画面の具体的な法律的再反論（無断転貸による賃貸借契約解除の反論「信頼関係破壊なしの評価根拠事実」に対する再反論）の例を図１８に示す。「抗弁要件：信頼関係破壊なしの評価根拠事実」のブロックの下位に、「再抗弁要件：信頼関係破壊なしの評価障害事実」のブロックが表示される。「再抗弁要件：信頼関係破壊なしの評価障害事実」のブロックの下位に、「再抗弁事実：信頼関係破壊なしの評価障害事実にあたる事情、詳細：転借人の使用に関して苦情あり」のブロックが表示される。

【0077】

「再抗弁事実：信頼関係破壊なしの評価障害事実にあたる事情、詳細：転借人の使用に関して苦情あり」の成否〇に伴って、「再抗弁要件：信頼関係破壊なしの評価障害事実」の成否〇が表示される。「再抗弁要件：信頼関係破壊なしの評価障害事実」の成否〇に伴って、「抗弁事実：信頼関係破壊なしの評価根拠事実にあたる事情、詳細：毎日の使用時間が短時間」の成否〇に関わらず、「抗弁要件：信頼関係破壊なしの評価根拠事実」の成否×が表示される。「抗弁要件：信頼関係破壊なしの評価根拠事実」の成否×又は「抗弁要件：転貸承諾、詳細：原告、被告、平成１９年３月１６日」の成否×に伴って、「請求の趣旨：無断転貸解除、詳細：原告、被告、平成１９年３月１６日」の成否〇が表示される。

【0078】

（変形例）
本実施形態では、図５、図１０及び図１５に示したように、請求の趣旨に関わる法律要件、要件事実、抗弁要件、抗弁事実、再抗弁要件及び再抗弁事実を表示するにあたり、上位ノードから下位ノードまで全てを一度に表示している。変形例として、請求の趣旨に関わる法律要件、要件事実、抗弁要件、抗弁事実、再抗弁要件及び再抗弁事実を表示するにあたり、原告又は被告が選択した上位ノードについてはその下位ノードを表示する一方で、原告又は被告が選択しない上位ノードについてはその下位ノードを表示しなくてもよく、上位ノードから下位ノードへと段階を踏んで表示してもよい。

【0079】

他の変形例として、（１）原告の主張と被告の主張とを、色彩等を用いて明確に区別してもよく、（２）現段階の主張を表示するとともに、前段階の主張も表示してもよく、（３）新たな事実が判明したときに、一度除去された事実ブロックを再度復活させてもよい。

【産業上の利用可能性】

【0080】

本開示の法的推論提示方法、法的推論提示プログラム及び法的推論提示システムは、原告の主張及び被告の反論の各段階において、充足すべき法律要件及び立証すべき要件事実を提示し、要件事実の有無に基づいて法律要件の成否を判定し、原告と被告の間で双方向にやり取りすることができる。

【符号の説明】

【0081】

ＣＰ、ＣＤ：コンピュータ
Ｓ：サーバ
１Ｐ、１Ｄ、１：インタフェース
２Ｐ、２Ｄ、２：法律要件検索部
３Ｐ、３Ｄ、３：データベース
４Ｐ、４Ｄ、４：法律要件出力部
５Ｐ、５Ｄ、５：法律要件判定部
６Ｐ、６Ｄ、６：要件成否反映部

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】

【図7】

【図8】

【図9】

【図10】

【図11】

【図12】

【図13】

【図14】

【図15】

【図16】

【図17】

【図18】