この楼門は朝廟だ
fact1: なんらかの物は厭わしいということはないとしたら「それは揺り起こすしかつそれは両刀でない」ということは事実と異なる fact2: もし仮にあの室が刺殺すればこの楼門は素早い fact3: もしとあるものが揺り起こすということはないなら排除出来るしまたそれは詐称する fact4: もし「あの室は厭わしくておまけに渡仏する」ということは本当だということはないなら厭わしくない fact5: 「勧善懲悪は素早い」ということは誤りでない fact6: 素早いものは朝廟だ fact7: その拠出時は素早い fact8: 「選択され易くない」ものはある fact9: あの室は刺殺する fact10: もしもあるものが排除出来ればそれは刺殺するということはなくて更にそれは素早くない fact11: 仮に「あの室は揺り起こすけれどそれは両刀でない」ということは間違っていればこの楼門は揺り起こさない fact12: 何らかのものは刺殺しないし素早くないとするとそれは朝廟でない
fact2 & fact9 -> int1: この楼門は素早い; fact6 -> int2: 仮にこの楼門が素早いとすれば朝廟だ; int1 & int2 -> hypothesis;
仮にあの漢字語が勧善懲悪ならばそれは素早い
fact13 -> hypothesis;
$facts$ = fact1: なんらかの物は厭わしいということはないとしたら「それは揺り起こすしかつそれは両刀でない」ということは事実と異なる fact2: もし仮にあの室が刺殺すればこの楼門は素早い fact3: もしとあるものが揺り起こすということはないなら排除出来るしまたそれは詐称する fact4: もし「あの室は厭わしくておまけに渡仏する」ということは本当だということはないなら厭わしくない fact5: 「勧善懲悪は素早い」ということは誤りでない fact6: 素早いものは朝廟だ fact7: その拠出時は素早い fact8: 「選択され易くない」ものはある fact9: あの室は刺殺する fact10: もしもあるものが排除出来ればそれは刺殺するということはなくて更にそれは素早くない fact11: 仮に「あの室は揺り起こすけれどそれは両刀でない」ということは間違っていればこの楼門は揺り起こさない fact12: 何らかのものは刺殺しないし素早くないとするとそれは朝廟でない ; $hypothesis$ = この楼門は朝廟だ ; $proof$ = 
fact2 & fact9 -> int1: この楼門は素早い; fact6 -> int2: 仮にこの楼門が素早いとすれば朝廟だ; int1 & int2 -> hypothesis; __PROVED__
事実1: なんらかの物は厭わしいということはないとしたら「それは揺り起こすしかつそれは両刀でない」ということは事実と異なる
事実2: もし仮にあの室が刺殺すればこの楼門は素早い
事実3: もしとあるものが揺り起こすということはないなら排除出来るしまたそれは詐称する
事実4: もし「あの室は厭わしくておまけに渡仏する」ということは本当だということはないなら厭わしくない
事実5: 「勧善懲悪は素早い」ということは誤りでない
事実6: 素早いものは朝廟だ
事実7: その拠出時は素早い
事実8: 「選択され易くない」ものはある
事実9: あの室は刺殺する
事実10: もしもあるものが排除出来ればそれは刺殺するということはなくて更にそれは素早くない
事実11: 仮に「あの室は揺り起こすけれどそれは両刀でない」ということは間違っていればこの楼門は揺り起こさない
事実12: 何らかのものは刺殺しないし素早くないとするとそれは朝廟でない

仮説: この楼門は朝廟だ
1. 事実2と事実9から、推論1: "この楼門は素早い"が導かれる
2. 事実6から、推論2: "仮にこの楼門が素早いとすれば朝廟だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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