この白黒写真は先払いするしまた大人しい
fact1: あの回帰分析はこざっぱりするしそれにそれは論ずる fact2: もし「踊り子達でない」物はあるとすれば「あのＢセブンは踊り子達だがしかし超自然であるということはない」ということは誤りだ fact3: もし仮にあの首長達が搾取分配するということはないがしかしフィニッシュするとしたらあの回帰分析はフィニッシュする fact4: あの首長達は搾取分配しない一方でフィニッシュする fact5: もし「あのＢセブンは踊り子達だけれど超自然でない」ということは事実でないとするとこの白黒写真は先払いする fact6: この秋空は踊り子達でないけれどそれは例外無い fact7: もし仮にある物がフィニッシュするし更に論ずるとすればあの白黒写真は大人しい
fact1 -> int1: あの回帰分析は論ずる; fact3 & fact4 -> int2: あの回帰分析はフィニッシュする; int1 & int2 -> int3: あの回帰分析はフィニッシュするしそれは論ずる; int3 -> int4: なにがしかのものはフィニッシュするしそれは論ずる; int4 & fact7 -> int5: この白黒写真は大人しい; fact6 -> int6: この秋空は踊り子達でない; int6 -> int7: 「踊り子達でない」ものはある; fact2 & int7 -> int8: 「あのＢセブンは踊り子達だけれど超自然でない」ということは間違っている; int8 & fact5 -> int9: 「この白黒写真は先払いする」ということは本当だ; int5 & int9 -> hypothesis;
$facts$ = fact1: あの回帰分析はこざっぱりするしそれにそれは論ずる fact2: もし「踊り子達でない」物はあるとすれば「あのＢセブンは踊り子達だがしかし超自然であるということはない」ということは誤りだ fact3: もし仮にあの首長達が搾取分配するということはないがしかしフィニッシュするとしたらあの回帰分析はフィニッシュする fact4: あの首長達は搾取分配しない一方でフィニッシュする fact5: もし「あのＢセブンは踊り子達だけれど超自然でない」ということは事実でないとするとこの白黒写真は先払いする fact6: この秋空は踊り子達でないけれどそれは例外無い fact7: もし仮にある物がフィニッシュするし更に論ずるとすればあの白黒写真は大人しい ; $hypothesis$ = この白黒写真は先払いするしまた大人しい ; $proof$ = 
fact1 -> int1: あの回帰分析は論ずる; fact3 & fact4 -> int2: あの回帰分析はフィニッシュする; int1 & int2 -> int3: あの回帰分析はフィニッシュするしそれは論ずる; int3 -> int4: なにがしかのものはフィニッシュするしそれは論ずる; int4 & fact7 -> int5: この白黒写真は大人しい; fact6 -> int6: この秋空は踊り子達でない; int6 -> int7: 「踊り子達でない」ものはある; fact2 & int7 -> int8: 「あのＢセブンは踊り子達だけれど超自然でない」ということは間違っている; int8 & fact5 -> int9: 「この白黒写真は先払いする」ということは本当だ; int5 & int9 -> hypothesis; __PROVED__
事実1: あの回帰分析はこざっぱりするしそれにそれは論ずる
事実2: もし「踊り子達でない」物はあるとすれば「あのＢセブンは踊り子達だがしかし超自然であるということはない」ということは誤りだ
事実3: もし仮にあの首長達が搾取分配するということはないがしかしフィニッシュするとしたらあの回帰分析はフィニッシュする
事実4: あの首長達は搾取分配しない一方でフィニッシュする
事実5: もし「あのＢセブンは踊り子達だけれど超自然でない」ということは事実でないとするとこの白黒写真は先払いする
事実6: この秋空は踊り子達でないけれどそれは例外無い
事実7: もし仮にある物がフィニッシュするし更に論ずるとすればあの白黒写真は大人しい

仮説: この白黒写真は先払いするしまた大人しい
1. 事実1から、推論1: "あの回帰分析は論ずる"が導かれる
2. 事実3と事実4から、推論2: "あの回帰分析はフィニッシュする"が導かれる
3. 推論1と推論2から、推論3: "あの回帰分析はフィニッシュするしそれは論ずる"が導かれる
4. 推論3から、推論4: "なにがしかのものはフィニッシュするしそれは論ずる"が導かれる
5. 推論4と事実7から、推論5: "この白黒写真は大人しい"が導かれる
6. 事実6から、推論6: "この秋空は踊り子達でない"が導かれる
7. 推論6から、推論7: "「踊り子達でない」ものはある"が導かれる
8. 事実2と推論7から、推論8: "「あのＢセブンは踊り子達だけれど超自然でない」ということは間違っている"が導かれる
9. 推論8と事実5から、推論9: "「この白黒写真は先払いする」ということは本当だ"が導かれる
10. 推論5と推論9から、仮説が導かれる

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