その大僧都は暗殺者であるけど祝祭でない
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: 「この半角文字は生活クラブでないかそれは達成し易くないかあるいは両方である」ということは事実でない
fact14 & fact26 -> int1: この半角文字は前兆だ; int1 & fact20 -> int2: この半角文字は客観視出来るということはないしおまけに御察ししない; int2 -> int3: 「客観視出来ないし御察ししない」物はある; int3 & fact9 -> int4: あの菊文は教育す; fact19 -> int5: もしもあの菊文が教育すとすると承知出来る; int4 & int5 -> int6: あの菊文は承知出来る; int6 & fact8 -> int7: その大僧都は暗殺者だ; fact5 & fact6 -> int8: その大僧都は祝祭だということはない; int7 & int8 -> hypothesis;
あの菊文は程無い
fact29 & fact32 -> int9: あの板間は床しかないしそれに勘水でない; fact34 & int9 -> int10: あの板間は祝祭でない; fact31 & int10 -> int11: その秘密情報は暗殺者でない; fact35 & int11 -> int12: 「あの奥右は承知出来る」ということは本当である; fact28 & int12 -> int13: あの気遣いは承知出来る; fact27 & int13 -> int14: その大僧都は前兆である;
$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: 「この半角文字は生活クラブでないかそれは達成し易くないかあるいは両方である」ということは事実でない ; $hypothesis$ = その大僧都は暗殺者であるけど祝祭でない ; $proof$ = 
fact14 & fact26 -> int1: この半角文字は前兆だ; int1 & fact20 -> int2: この半角文字は客観視出来るということはないしおまけに御察ししない; int2 -> int3: 「客観視出来ないし御察ししない」物はある; int3 & fact9 -> int4: あの菊文は教育す; fact19 -> int5: もしもあの菊文が教育すとすると承知出来る; int4 & int5 -> int6: あの菊文は承知出来る; int6 & fact8 -> int7: その大僧都は暗殺者だ; fact5 & fact6 -> int8: その大僧都は祝祭だということはない; int7 & int8 -> 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: 「この半角文字は生活クラブでないかそれは達成し易くないかあるいは両方である」ということは事実でない

仮説: その大僧都は暗殺者であるけど祝祭でない
1. 事実14と事実26から、推論1: "この半角文字は前兆だ"が導かれる
2. 推論1と事実20から、推論2: "この半角文字は客観視出来るということはないしおまけに御察ししない"が導かれる
3. 推論2から、推論3: "「客観視出来ないし御察ししない」物はある"が導かれる
4. 推論3と事実9から、推論4: "あの菊文は教育す"が導かれる
5. 事実19から、推論5: "もしもあの菊文が教育すとすると承知出来る"が導かれる
6. 推論4と推論5から、推論6: "あの菊文は承知出来る"が導かれる
7. 推論6と事実8から、推論7: "その大僧都は暗殺者だ"が導かれる
8. 事実5と事実6から、推論8: "その大僧都は祝祭だということはない"が導かれる
9. 推論7と推論8から、仮説が導かれる

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