そのオイルショック後は溜まり易い
fact1: もしもこの効果局面は溜まり易いならば「そのオイルショック後は実例である」ということは本当である fact2: この墨ちゃんはださくない fact3: 「仮にあの無収入が色めくとしたらそのオイルショック後は重たい」ということは成り立つ fact4: 仮に何らかの物が涙脆いとするとそれは色めく fact5: 重たい物は溜まり易い fact6: もし仮にその川音が麗しいならばこの圧搾機は合流する fact7: もし仮にあの無収入が戦わすとするとその川音は色めく fact8: もしこの圧搾機が合流するならばあの効果局面は実例だ fact9: もし仮にこの墨ちゃんがださくないならばその川音は戦わすしさらにそれは麗しい fact10: もしこの効果局面は実例であるなら「あの無収入は涙脆い」ということは成り立つ
fact9 & fact2 -> int1: その川音は戦わすし更に麗しい; int1 -> int2: その川音は麗しい; int2 & fact6 -> int3: この圧搾機は合流する; int3 & fact8 -> int4: この効果局面は実例である; int4 & fact10 -> int5: あの無収入は涙脆い; fact4 -> int6: もしもあの無収入が涙脆いとすればそれは色めく; int5 & int6 -> int7: 「あの無収入は色めく」ということは確かだ; int7 & fact3 -> int8: そのオイルショック後は重たい; fact5 -> int9: もし仮にそのオイルショック後が重たいなら溜まり易い; int8 & int9 -> hypothesis;
$facts$ = fact1: もしもこの効果局面は溜まり易いならば「そのオイルショック後は実例である」ということは本当である fact2: この墨ちゃんはださくない fact3: 「仮にあの無収入が色めくとしたらそのオイルショック後は重たい」ということは成り立つ fact4: 仮に何らかの物が涙脆いとするとそれは色めく fact5: 重たい物は溜まり易い fact6: もし仮にその川音が麗しいならばこの圧搾機は合流する fact7: もし仮にあの無収入が戦わすとするとその川音は色めく fact8: もしこの圧搾機が合流するならばあの効果局面は実例だ fact9: もし仮にこの墨ちゃんがださくないならばその川音は戦わすしさらにそれは麗しい fact10: もしこの効果局面は実例であるなら「あの無収入は涙脆い」ということは成り立つ ; $hypothesis$ = そのオイルショック後は溜まり易い ; $proof$ = 
fact9 & fact2 -> int1: その川音は戦わすし更に麗しい; int1 -> int2: その川音は麗しい; int2 & fact6 -> int3: この圧搾機は合流する; int3 & fact8 -> int4: この効果局面は実例である; int4 & fact10 -> int5: あの無収入は涙脆い; fact4 -> int6: もしもあの無収入が涙脆いとすればそれは色めく; int5 & int6 -> int7: 「あの無収入は色めく」ということは確かだ; int7 & fact3 -> int8: そのオイルショック後は重たい; fact5 -> int9: もし仮にそのオイルショック後が重たいなら溜まり易い; int8 & int9 -> hypothesis; __PROVED__
事実1: もしもこの効果局面は溜まり易いならば「そのオイルショック後は実例である」ということは本当である
事実2: この墨ちゃんはださくない
事実3: 「仮にあの無収入が色めくとしたらそのオイルショック後は重たい」ということは成り立つ
事実4: 仮に何らかの物が涙脆いとするとそれは色めく
事実5: 重たい物は溜まり易い
事実6: もし仮にその川音が麗しいならばこの圧搾機は合流する
事実7: もし仮にあの無収入が戦わすとするとその川音は色めく
事実8: もしこの圧搾機が合流するならばあの効果局面は実例だ
事実9: もし仮にこの墨ちゃんがださくないならばその川音は戦わすしさらにそれは麗しい
事実10: もしこの効果局面は実例であるなら「あの無収入は涙脆い」ということは成り立つ

仮説: そのオイルショック後は溜まり易い
1. 事実9と事実2から、推論1: "その川音は戦わすし更に麗しい"が導かれる
2. 推論1から、推論2: "その川音は麗しい"が導かれる
3. 推論2と事実6から、推論3: "この圧搾機は合流する"が導かれる
4. 推論3と事実8から、推論4: "この効果局面は実例である"が導かれる
5. 推論4と事実10から、推論5: "あの無収入は涙脆い"が導かれる
6. 事実4から、推論6: "もしもあの無収入が涙脆いとすればそれは色めく"が導かれる
7. 推論5と推論6から、推論7: "「あの無収入は色めく」ということは確かだ"が導かれる
8. 推論7と事実3から、推論8: "そのオイルショック後は重たい"が導かれる
9. 事実5から、推論9: "もし仮にそのオイルショック後が重たいなら溜まり易い"が導かれる
10. 推論8と推論9から、仮説が導かれる

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