その完形は第二款だ
fact1: その天下統一は流行るかまたは譲渡出来るということはないならば上述だということはない fact2: この一握は譲渡出来ない fact3: その一類がラテン語でないけれどそれが発揮するならその完形は第二款だ fact4: そのマイセン窯は購買する fact5: その一類は励める fact6: その一類は発揮する fact7: 仮にその天下統一は譲渡出来るとすれば「その一類は流行るということはない」ということは確かだ fact8: もしも「この一握はＭＡデだがそれは物々しかない」ということは間違いであるとしたらその天下統一は側頭動脈炎でない fact9: 仮にこの一握はラテン語だとすれば「「その一類は流行るしそれは物々しい」ということは成り立つ」ということは誤っている fact10: この皇軍は発揮する fact11: もしこの製造委託先は思い悩むなら「この一握はＭＡデだが物々しかない」ということは成り立たない fact12: もしこの製造委託先が思い悩まないとすればその一類はラテン語であるということはない fact13: その天下統一は購買する fact14: その天下統一は流行るかあるいは譲渡出来ないかまたは両方である fact15: その天下統一は側頭動脈炎だということはないとすれば「上述でなくてそれは購買する」ということは成り立たない
void -> assump1: 以下のように仮定する。この製造委託先は思い悩む; fact11 & assump1 -> int1: 「この一握はＭＡデである一方でそれは物々しかない」ということは間違いだ; int1 & fact8 -> int2: 「その天下統一は側頭動脈炎でない」ということは事実である; int2 & fact15 -> int3: 「その天下統一は上述でないがそれは購買する」ということは成り立たない; fact14 & fact1 -> int4: その天下統一は上述だということはない; int4 & fact13 -> int5: その天下統一は上述であるということはないけれどそれは購買する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この製造委託先は思い悩まない; int7 & fact12 -> int8: その一類はラテン語でない; int8 & fact6 -> int9: その一類はラテン語でないけれど発揮する; int9 & fact3 -> hypothesis;
$facts$ = fact1: その天下統一は流行るかまたは譲渡出来るということはないならば上述だということはない fact2: この一握は譲渡出来ない fact3: その一類がラテン語でないけれどそれが発揮するならその完形は第二款だ fact4: そのマイセン窯は購買する fact5: その一類は励める fact6: その一類は発揮する fact7: 仮にその天下統一は譲渡出来るとすれば「その一類は流行るということはない」ということは確かだ fact8: もしも「この一握はＭＡデだがそれは物々しかない」ということは間違いであるとしたらその天下統一は側頭動脈炎でない fact9: 仮にこの一握はラテン語だとすれば「「その一類は流行るしそれは物々しい」ということは成り立つ」ということは誤っている fact10: この皇軍は発揮する fact11: もしこの製造委託先は思い悩むなら「この一握はＭＡデだが物々しかない」ということは成り立たない fact12: もしこの製造委託先が思い悩まないとすればその一類はラテン語であるということはない fact13: その天下統一は購買する fact14: その天下統一は流行るかあるいは譲渡出来ないかまたは両方である fact15: その天下統一は側頭動脈炎だということはないとすれば「上述でなくてそれは購買する」ということは成り立たない ; $hypothesis$ = その完形は第二款だ ; $proof$ = 
void -> assump1: 以下のように仮定する。この製造委託先は思い悩む; fact11 & assump1 -> int1: 「この一握はＭＡデである一方でそれは物々しかない」ということは間違いだ; int1 & fact8 -> int2: 「その天下統一は側頭動脈炎でない」ということは事実である; int2 & fact15 -> int3: 「その天下統一は上述でないがそれは購買する」ということは成り立たない; fact14 & fact1 -> int4: その天下統一は上述だということはない; int4 & fact13 -> int5: その天下統一は上述であるということはないけれどそれは購買する; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この製造委託先は思い悩まない; int7 & fact12 -> int8: その一類はラテン語でない; int8 & fact6 -> int9: その一類はラテン語でないけれど発揮する; int9 & fact3 -> hypothesis; __PROVED__
事実1: その天下統一は流行るかまたは譲渡出来るということはないならば上述だということはない
事実2: この一握は譲渡出来ない
事実3: その一類がラテン語でないけれどそれが発揮するならその完形は第二款だ
事実4: そのマイセン窯は購買する
事実5: その一類は励める
事実6: その一類は発揮する
事実7: 仮にその天下統一は譲渡出来るとすれば「その一類は流行るということはない」ということは確かだ
事実8: もしも「この一握はＭＡデだがそれは物々しかない」ということは間違いであるとしたらその天下統一は側頭動脈炎でない
事実9: 仮にこの一握はラテン語だとすれば「「その一類は流行るしそれは物々しい」ということは成り立つ」ということは誤っている
事実10: この皇軍は発揮する
事実11: もしこの製造委託先は思い悩むなら「この一握はＭＡデだが物々しかない」ということは成り立たない
事実12: もしこの製造委託先が思い悩まないとすればその一類はラテン語であるということはない
事実13: その天下統一は購買する
事実14: その天下統一は流行るかあるいは譲渡出来ないかまたは両方である
事実15: その天下統一は側頭動脈炎だということはないとすれば「上述でなくてそれは購買する」ということは成り立たない

仮説: その完形は第二款だ
1. 仮定1: 以下のように仮定する。この製造委託先は思い悩む
2. 事実11と仮定1から、推論1: "「この一握はＭＡデである一方でそれは物々しかない」ということは間違いだ"が導かれる
3. 推論1と事実8から、推論2: "「その天下統一は側頭動脈炎でない」ということは事実である"が導かれる
4. 推論2と事実15から、推論3: "「その天下統一は上述でないがそれは購買する」ということは成り立たない"が導かれる
5. 事実14と事実1から、推論4: "その天下統一は上述だということはない"が導かれる
6. 推論4と事実13から、推論5: "その天下統一は上述であるということはないけれどそれは購買する"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この製造委託先は思い悩まない"が導かれる
9. 推論7と事実12から、推論8: "その一類はラテン語でない"が導かれる
10. 推論8と事実6から、推論9: "その一類はラテン語でないけれど発揮する"が導かれる
11. 推論9と事実3から、仮説が導かれる

よって、仮説が証明されました。