あの敬称略は流通経路である
fact1: もしもなにかは妄念であるならばそれは認知的要因である fact2: もし仮にあの敬称略が危うしとするとそれは流通経路である fact3: この楽しみ方はプロテスタンティズムであるし訳無い fact4: もしこの楽しみ方が放心しないとすればあの敬称略は放心しない fact5: この楽しみ方がプロテスタンティズムならば妄念である fact6: もし仮にあの敬称略が放心するということはないとしたら向かわすし証拠法だ fact7: 仮にあの四世紀は植え替えるとすると「この楽しみ方は原料配給である」ということは事実だ fact8: 仮にあの四世紀が放心するということはなくて加えてそれが向かわさないとしたらそれは証拠法だ fact9: もし認知的要因は原料配給であるならば放心しない fact10: あの四世紀は植え替えるか原料配給であるかまたはどちらもである fact11: なんらかの物は向かわすしさらに証拠法であるとしたら迷い難くない fact12: あの敬称略は危うし fact13: もしもあの四世紀が原料配給であるとするとこの楽しみ方は原料配給である
fact2 & fact12 -> hypothesis;
fact2 & fact12 -> hypothesis;
この呪術師は危うし
fact15 -> int1: もしもあの敬称略は向かわすしさらに証拠法だとすると「迷い難くない」ということは成り立つ; fact23 -> int2: もし仮にこの楽しみ方は認知的要因であるし原料配給だとしたら「それは放心するということはない」ということは正しい; fact19 -> int3: もしこの楽しみ方が妄念だとしたらそれは認知的要因だ; fact16 -> int4: この楽しみ方はプロテスタンティズムだ; fact20 & int4 -> int5: この楽しみ方は妄念だ; int3 & int5 -> int6: この楽しみ方は認知的要因である; fact18 & fact21 & fact17 -> int7: この楽しみ方は原料配給である; int6 & int7 -> int8: この楽しみ方は認知的要因であるし原料配給だ; int2 & int8 -> int9: この楽しみ方は放心しない; fact14 & int9 -> int10: あの敬称略は放心するということはない; fact22 & int10 -> int11: あの敬称略は向かわすしそれに証拠法だ; int1 & int11 -> int12: 「あの敬称略は迷い難くない」ということは正しい; int12 -> int13: 迷い難くないものはある;
$facts$ = fact1: もしもなにかは妄念であるならばそれは認知的要因である fact2: もし仮にあの敬称略が危うしとするとそれは流通経路である fact3: この楽しみ方はプロテスタンティズムであるし訳無い fact4: もしこの楽しみ方が放心しないとすればあの敬称略は放心しない fact5: この楽しみ方がプロテスタンティズムならば妄念である fact6: もし仮にあの敬称略が放心するということはないとしたら向かわすし証拠法だ fact7: 仮にあの四世紀は植え替えるとすると「この楽しみ方は原料配給である」ということは事実だ fact8: 仮にあの四世紀が放心するということはなくて加えてそれが向かわさないとしたらそれは証拠法だ fact9: もし認知的要因は原料配給であるならば放心しない fact10: あの四世紀は植え替えるか原料配給であるかまたはどちらもである fact11: なんらかの物は向かわすしさらに証拠法であるとしたら迷い難くない fact12: あの敬称略は危うし fact13: もしもあの四世紀が原料配給であるとするとこの楽しみ方は原料配給である ; $hypothesis$ = あの敬称略は流通経路である ; $proof$ = 
fact2 & fact12 -> hypothesis; __PROVED__
事実1: もしもなにかは妄念であるならばそれは認知的要因である
事実2: もし仮にあの敬称略が危うしとするとそれは流通経路である
事実3: この楽しみ方はプロテスタンティズムであるし訳無い
事実4: もしこの楽しみ方が放心しないとすればあの敬称略は放心しない
事実5: この楽しみ方がプロテスタンティズムならば妄念である
事実6: もし仮にあの敬称略が放心するということはないとしたら向かわすし証拠法だ
事実7: 仮にあの四世紀は植え替えるとすると「この楽しみ方は原料配給である」ということは事実だ
事実8: 仮にあの四世紀が放心するということはなくて加えてそれが向かわさないとしたらそれは証拠法だ
事実9: もし認知的要因は原料配給であるならば放心しない
事実10: あの四世紀は植え替えるか原料配給であるかまたはどちらもである
事実11: なんらかの物は向かわすしさらに証拠法であるとしたら迷い難くない
事実12: あの敬称略は危うし
事実13: もしもあの四世紀が原料配給であるとするとこの楽しみ方は原料配給である

仮説: あの敬称略は流通経路である
1. 事実2と事実12から、仮説が導かれる

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