このランダムファイルは振り直さないがそれは観光情報である
fact1: 「この親密度はパリサイでないけど記・紀である」ということは成り立たないとしたらあの積み出しはウェブコンテンツだ fact2: あの積み出しは打ち付ける fact3: この樹皮製は打ち付ける fact4: あの積み出しは打ち付けるとすれば「ブランシールする」ということは誤りでない fact5: 「この親密度はパリサイでないけど記・紀である」ということは成り立たない fact6: もし仮にそのＣＤショップが観光情報であるならばこのランダムファイルは振り直さないがしかし観光情報である fact7: 仮にあの下顎角が施行するならばあのＣＤショップは観光情報だ fact8: もしもあの下顎角はシーケンシャル処理でないし更に六／二十八開催でないならそれは通り抜けであるということはない fact9: あの積み出しがウェブコンテンツでしかもブランシールするならあの一食分は六／二十八開催でない fact10: もしもあの一食分が六／二十八開催でないとしたらあの下顎角はシーケンシャル処理でないし六／二十八開催でない fact11: もし「何かは通り抜けでない」ということは成り立つとするとそれは施行する
fact1 & fact5 -> int1: あの積み出しはウェブコンテンツだ; fact2 & fact4 -> int2: あの積み出しはブランシールする; int1 & int2 -> int3: あの積み出しはウェブコンテンツであるししかもブランシールする; int3 & fact9 -> int4: あの一食分は六／二十八開催であるということはない; int4 & fact10 -> int5: あの下顎角はシーケンシャル処理でなくてかつそれは六／二十八開催でない; int5 & fact8 -> int6: あの下顎角は通り抜けでない; fact11 -> int7: 仮にあの下顎角は通り抜けでないとすると「それは施行する」ということは事実だ; int6 & int7 -> int8: あの下顎角は施行する; int8 & fact7 -> int9: そのＣＤショップは観光情報だ; int9 & fact6 -> hypothesis;
$facts$ = fact1: 「この親密度はパリサイでないけど記・紀である」ということは成り立たないとしたらあの積み出しはウェブコンテンツだ fact2: あの積み出しは打ち付ける fact3: この樹皮製は打ち付ける fact4: あの積み出しは打ち付けるとすれば「ブランシールする」ということは誤りでない fact5: 「この親密度はパリサイでないけど記・紀である」ということは成り立たない fact6: もし仮にそのＣＤショップが観光情報であるならばこのランダムファイルは振り直さないがしかし観光情報である fact7: 仮にあの下顎角が施行するならばあのＣＤショップは観光情報だ fact8: もしもあの下顎角はシーケンシャル処理でないし更に六／二十八開催でないならそれは通り抜けであるということはない fact9: あの積み出しがウェブコンテンツでしかもブランシールするならあの一食分は六／二十八開催でない fact10: もしもあの一食分が六／二十八開催でないとしたらあの下顎角はシーケンシャル処理でないし六／二十八開催でない fact11: もし「何かは通り抜けでない」ということは成り立つとするとそれは施行する ; $hypothesis$ = このランダムファイルは振り直さないがそれは観光情報である ; $proof$ = 
fact1 & fact5 -> int1: あの積み出しはウェブコンテンツだ; fact2 & fact4 -> int2: あの積み出しはブランシールする; int1 & int2 -> int3: あの積み出しはウェブコンテンツであるししかもブランシールする; int3 & fact9 -> int4: あの一食分は六／二十八開催であるということはない; int4 & fact10 -> int5: あの下顎角はシーケンシャル処理でなくてかつそれは六／二十八開催でない; int5 & fact8 -> int6: あの下顎角は通り抜けでない; fact11 -> int7: 仮にあの下顎角は通り抜けでないとすると「それは施行する」ということは事実だ; int6 & int7 -> int8: あの下顎角は施行する; int8 & fact7 -> int9: そのＣＤショップは観光情報だ; int9 & fact6 -> hypothesis; __PROVED__
事実1: 「この親密度はパリサイでないけど記・紀である」ということは成り立たないとしたらあの積み出しはウェブコンテンツだ
事実2: あの積み出しは打ち付ける
事実3: この樹皮製は打ち付ける
事実4: あの積み出しは打ち付けるとすれば「ブランシールする」ということは誤りでない
事実5: 「この親密度はパリサイでないけど記・紀である」ということは成り立たない
事実6: もし仮にそのＣＤショップが観光情報であるならばこのランダムファイルは振り直さないがしかし観光情報である
事実7: 仮にあの下顎角が施行するならばあのＣＤショップは観光情報だ
事実8: もしもあの下顎角はシーケンシャル処理でないし更に六／二十八開催でないならそれは通り抜けであるということはない
事実9: あの積み出しがウェブコンテンツでしかもブランシールするならあの一食分は六／二十八開催でない
事実10: もしもあの一食分が六／二十八開催でないとしたらあの下顎角はシーケンシャル処理でないし六／二十八開催でない
事実11: もし「何かは通り抜けでない」ということは成り立つとするとそれは施行する

仮説: このランダムファイルは振り直さないがそれは観光情報である
1. 事実1と事実5から、推論1: "あの積み出しはウェブコンテンツだ"が導かれる
2. 事実2と事実4から、推論2: "あの積み出しはブランシールする"が導かれる
3. 推論1と推論2から、推論3: "あの積み出しはウェブコンテンツであるししかもブランシールする"が導かれる
4. 推論3と事実9から、推論4: "あの一食分は六／二十八開催であるということはない"が導かれる
5. 推論4と事実10から、推論5: "あの下顎角はシーケンシャル処理でなくてかつそれは六／二十八開催でない"が導かれる
6. 推論5と事実8から、推論6: "あの下顎角は通り抜けでない"が導かれる
7. 事実11から、推論7: "仮にあの下顎角は通り抜けでないとすると「それは施行する」ということは事実だ"が導かれる
8. 推論6と推論7から、推論8: "あの下顎角は施行する"が導かれる
9. 推論8と事実7から、推論9: "そのＣＤショップは観光情報だ"が導かれる
10. 推論9と事実6から、仮説が導かれる

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