「このチェキラは打ち取るけれど意味構造でない」ということは成り立つ
fact1: その天才は規定書だ fact2: その天才は敢行する fact3: もしその内部告発が伴い易いならその天才は動揺し易い fact4: 「その天才は誘発し易いけれどむさくるしくない」ということは成り立たない fact5: 「「その内部告発は笑い声でないし当て始めない」ということは偽である」ということは成り立つ fact6: 仮にあの物真似が当て始めればそれは中間利息である fact7: もしその天才が当て始めるとすればむさくるしい fact8: もし仮にその天才は伴い易いとすれば「それは当て始めないけど打ち取る」ということは偽だ fact9: 仮にその内部告発は動揺し易いとすると「笑い声でなくてまた敢行するということはない」ということは成り立たない fact10: 「その天才は打ち取らなくて加えて図太くない」ということは成り立たない fact11: 「その天才は当て始めるということはなくてしかもそれは動揺し易くない」ということは間違いであるとしたらそれは意味構造だ fact12: このチェキラは動揺し易い fact13: もしこのチェキラが敢行するとすればその内部告発は打ち取る fact14: その内部告発は動揺し易い fact15: その目的関数はむさくるしい fact16: このチェキラは敢行する fact17: この黒真珠は笑い声だ fact18: もし仮にその内部告発が誘発し易いならその天才は伴い易い fact19: もしも「その天才はむさくるしい」ということは確かだとしたらこのチェキラは打ち取る fact20: 仮にその内部告発が笑い声ならばその天才は当て始めるがしかし誘発し易くない fact21: もしも「その内部告発は笑い声でないしそれは敢行しない」ということは嘘ならば誘発し易い fact22: その内部告発は見透かす fact23: 仮に「その天才はむさくるしい」ということは確かであるならばこのチェキラは打ち取る一方で意味構造でない fact24: もしその天才が敢行するとしたらその内部告発は当て始める fact25: もしその天才が伴い易いならばそれは当て始める fact26: 「とある物は動揺し易くない」ということは成り立つなら「それは打ち取るしかつそれは意味構造であるということはない」ということは偽である fact27: 「その内部告発は動揺し易いけれど当て始めない」ということは成り立たない
fact9 & fact14 -> int1: 「「その内部告発は笑い声でないしまた敢行するということはない」ということは間違いだ」ということは確かだ; int1 & fact21 -> int2: その内部告発は誘発し易い; int2 & fact18 -> int3: その天才は伴い易い; int3 & fact25 -> int4: その天才は当て始める; int4 & fact7 -> int5: その天才はむさくるしい; int5 & fact23 -> hypothesis;
「このチェキラは打ち取るけど意味構造でない」ということは誤りである
fact28 -> int6: もしもこのチェキラは動揺し易いということはないなら「それは打ち取るしそれは意味構造でない」ということは誤りだ;
$facts$ = fact1: その天才は規定書だ fact2: その天才は敢行する fact3: もしその内部告発が伴い易いならその天才は動揺し易い fact4: 「その天才は誘発し易いけれどむさくるしくない」ということは成り立たない fact5: 「「その内部告発は笑い声でないし当て始めない」ということは偽である」ということは成り立つ fact6: 仮にあの物真似が当て始めればそれは中間利息である fact7: もしその天才が当て始めるとすればむさくるしい fact8: もし仮にその天才は伴い易いとすれば「それは当て始めないけど打ち取る」ということは偽だ fact9: 仮にその内部告発は動揺し易いとすると「笑い声でなくてまた敢行するということはない」ということは成り立たない fact10: 「その天才は打ち取らなくて加えて図太くない」ということは成り立たない fact11: 「その天才は当て始めるということはなくてしかもそれは動揺し易くない」ということは間違いであるとしたらそれは意味構造だ fact12: このチェキラは動揺し易い fact13: もしこのチェキラが敢行するとすればその内部告発は打ち取る fact14: その内部告発は動揺し易い fact15: その目的関数はむさくるしい fact16: このチェキラは敢行する fact17: この黒真珠は笑い声だ fact18: もし仮にその内部告発が誘発し易いならその天才は伴い易い fact19: もしも「その天才はむさくるしい」ということは確かだとしたらこのチェキラは打ち取る fact20: 仮にその内部告発が笑い声ならばその天才は当て始めるがしかし誘発し易くない fact21: もしも「その内部告発は笑い声でないしそれは敢行しない」ということは嘘ならば誘発し易い fact22: その内部告発は見透かす fact23: 仮に「その天才はむさくるしい」ということは確かであるならばこのチェキラは打ち取る一方で意味構造でない fact24: もしその天才が敢行するとしたらその内部告発は当て始める fact25: もしその天才が伴い易いならばそれは当て始める fact26: 「とある物は動揺し易くない」ということは成り立つなら「それは打ち取るしかつそれは意味構造であるということはない」ということは偽である fact27: 「その内部告発は動揺し易いけれど当て始めない」ということは成り立たない ; $hypothesis$ = 「このチェキラは打ち取るけれど意味構造でない」ということは成り立つ ; $proof$ = 
fact9 & fact14 -> int1: 「「その内部告発は笑い声でないしまた敢行するということはない」ということは間違いだ」ということは確かだ; int1 & fact21 -> int2: その内部告発は誘発し易い; int2 & fact18 -> int3: その天才は伴い易い; int3 & fact25 -> int4: その天才は当て始める; int4 & fact7 -> int5: その天才はむさくるしい; int5 & fact23 -> hypothesis; __PROVED__
事実1: その天才は規定書だ
事実2: その天才は敢行する
事実3: もしその内部告発が伴い易いならその天才は動揺し易い
事実4: 「その天才は誘発し易いけれどむさくるしくない」ということは成り立たない
事実5: 「「その内部告発は笑い声でないし当て始めない」ということは偽である」ということは成り立つ
事実6: 仮にあの物真似が当て始めればそれは中間利息である
事実7: もしその天才が当て始めるとすればむさくるしい
事実8: もし仮にその天才は伴い易いとすれば「それは当て始めないけど打ち取る」ということは偽だ
事実9: 仮にその内部告発は動揺し易いとすると「笑い声でなくてまた敢行するということはない」ということは成り立たない
事実10: 「その天才は打ち取らなくて加えて図太くない」ということは成り立たない
事実11: 「その天才は当て始めるということはなくてしかもそれは動揺し易くない」ということは間違いであるとしたらそれは意味構造だ
事実12: このチェキラは動揺し易い
事実13: もしこのチェキラが敢行するとすればその内部告発は打ち取る
事実14: その内部告発は動揺し易い
事実15: その目的関数はむさくるしい
事実16: このチェキラは敢行する
事実17: この黒真珠は笑い声だ
事実18: もし仮にその内部告発が誘発し易いならその天才は伴い易い
事実19: もしも「その天才はむさくるしい」ということは確かだとしたらこのチェキラは打ち取る
事実20: 仮にその内部告発が笑い声ならばその天才は当て始めるがしかし誘発し易くない
事実21: もしも「その内部告発は笑い声でないしそれは敢行しない」ということは嘘ならば誘発し易い
事実22: その内部告発は見透かす
事実23: 仮に「その天才はむさくるしい」ということは確かであるならばこのチェキラは打ち取る一方で意味構造でない
事実24: もしその天才が敢行するとしたらその内部告発は当て始める
事実25: もしその天才が伴い易いならばそれは当て始める
事実26: 「とある物は動揺し易くない」ということは成り立つなら「それは打ち取るしかつそれは意味構造であるということはない」ということは偽である
事実27: 「その内部告発は動揺し易いけれど当て始めない」ということは成り立たない

仮説: 「このチェキラは打ち取るけれど意味構造でない」ということは成り立つ
1. 事実9と事実14から、推論1: "「「その内部告発は笑い声でないしまた敢行するということはない」ということは間違いだ」ということは確かだ"が導かれる
2. 推論1と事実21から、推論2: "その内部告発は誘発し易い"が導かれる
3. 推論2と事実18から、推論3: "その天才は伴い易い"が導かれる
4. 推論3と事実25から、推論4: "その天才は当て始める"が導かれる
5. 推論4と事実7から、推論5: "その天才はむさくるしい"が導かれる
6. 推論5と事実23から、仮説が導かれる

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