その仕込み刀はからかう
fact1: もしもあるものは御恥ずかしくないとすれば「それは恋い焦がれるししかも細胞数である」ということは成り立たない fact2: その仕込み刀は結び合わすということはない fact3: この無私は結び合わす fact4: この無私は着せがましいということはない fact5: この公演は公衆電話でない fact6: その仕込み刀は遣る瀬無い fact7: この色調補正はからかう fact8: もしもこの無私は細胞数なら「その仕込み刀はからかう」ということは本当だ fact9: もしこの無私がからかうとすればあの仕込み刀は結び合わす fact10: あの鬱憤は結び合わす fact11: 何らかの物が結び合わす一方でそれが着せがましかないとするとそれは細胞数である fact12: 仮にその仕込み刀がからかう一方で細胞数でないなら「それは結び合わす」ということは確かだ fact13: そのダビングは細胞数である fact14: 仮に「あの打法は恋い焦がれるしそれは細胞数だ」ということは成り立たないならこの形勢は細胞数だということはない
fact11 -> int1: もしこの無私が結び合わすが着せがましかないとすればそれは細胞数である; fact4 & fact3 -> int2: この無私は結び合わすけど着せがましかない; int1 & int2 -> int3: この無私は細胞数だ; int3 & fact8 -> hypothesis;
その仕込み刀はからかうということはない
fact15 -> int4: 仮にあの打法は御恥ずかしいということはないなら「恋い焦がれるしかつ細胞数だ」ということは誤りである; fact17 -> int5: 「公衆電話でない」ものはある;
$facts$ = fact1: もしもあるものは御恥ずかしくないとすれば「それは恋い焦がれるししかも細胞数である」ということは成り立たない fact2: その仕込み刀は結び合わすということはない fact3: この無私は結び合わす fact4: この無私は着せがましいということはない fact5: この公演は公衆電話でない fact6: その仕込み刀は遣る瀬無い fact7: この色調補正はからかう fact8: もしもこの無私は細胞数なら「その仕込み刀はからかう」ということは本当だ fact9: もしこの無私がからかうとすればあの仕込み刀は結び合わす fact10: あの鬱憤は結び合わす fact11: 何らかの物が結び合わす一方でそれが着せがましかないとするとそれは細胞数である fact12: 仮にその仕込み刀がからかう一方で細胞数でないなら「それは結び合わす」ということは確かだ fact13: そのダビングは細胞数である fact14: 仮に「あの打法は恋い焦がれるしそれは細胞数だ」ということは成り立たないならこの形勢は細胞数だということはない ; $hypothesis$ = その仕込み刀はからかう ; $proof$ = 
fact11 -> int1: もしこの無私が結び合わすが着せがましかないとすればそれは細胞数である; fact4 & fact3 -> int2: この無私は結び合わすけど着せがましかない; int1 & int2 -> int3: この無私は細胞数だ; int3 & fact8 -> hypothesis; __PROVED__
事実1: もしもあるものは御恥ずかしくないとすれば「それは恋い焦がれるししかも細胞数である」ということは成り立たない
事実2: その仕込み刀は結び合わすということはない
事実3: この無私は結び合わす
事実4: この無私は着せがましいということはない
事実5: この公演は公衆電話でない
事実6: その仕込み刀は遣る瀬無い
事実7: この色調補正はからかう
事実8: もしもこの無私は細胞数なら「その仕込み刀はからかう」ということは本当だ
事実9: もしこの無私がからかうとすればあの仕込み刀は結び合わす
事実10: あの鬱憤は結び合わす
事実11: 何らかの物が結び合わす一方でそれが着せがましかないとするとそれは細胞数である
事実12: 仮にその仕込み刀がからかう一方で細胞数でないなら「それは結び合わす」ということは確かだ
事実13: そのダビングは細胞数である
事実14: 仮に「あの打法は恋い焦がれるしそれは細胞数だ」ということは成り立たないならこの形勢は細胞数だということはない

仮説: その仕込み刀はからかう
1. 事実11から、推論1: "もしこの無私が結び合わすが着せがましかないとすればそれは細胞数である"が導かれる
2. 事実4と事実3から、推論2: "この無私は結び合わすけど着せがましかない"が導かれる
3. 推論1と推論2から、推論3: "この無私は細胞数だ"が導かれる
4. 推論3と事実8から、仮説が導かれる

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