その視覚的効果はマネーラインだ
fact1: もしもその視覚的効果は快諾であるとしたらそれは波長依存性だ fact2: もしあるものが突き込むとすればそれは財源問題である fact3: もしも何らかの物が突き込むとしたらそれは中国経済だ fact4: 仮になにがしかの物が灰色っぽいとしたらそれは痛い fact5: その視覚的効果は起用する fact6: 呪わしい物は突き込む fact7: 「「その軍将校は停車だがしかし財源問題でない」ということは事実と異なる」ということは成り立つとすればこの郁子は突き込まない fact8: もしもとある物は財源問題であるとすると「それはマネーラインでない」ということは成り立たない fact9: もしも何らかの物が突き込まないけれどそれが呪わしいなら中国経済だ fact10: その視覚的効果は中国経済であるし呪わしい fact11: あの佳境は財源問題である fact12: その視覚的効果は中国経済だ
fact10 -> int1: その視覚的効果は呪わしい; fact6 -> int2: もしもその視覚的効果は呪わしいとしたら「突き込む」ということは誤っていない; int1 & int2 -> int3: その視覚的効果は突き込む; fact2 -> int4: 仮に「その視覚的効果は突き込む」ということは本当だとすればそれは財源問題である; int3 & int4 -> int5: その視覚的効果は財源問題だ; fact8 -> int6: その視覚的効果は財源問題であるとするとマネーラインである; int5 & int6 -> hypothesis;
その視覚的効果はマネーラインでない
$facts$ = fact1: もしもその視覚的効果は快諾であるとしたらそれは波長依存性だ fact2: もしあるものが突き込むとすればそれは財源問題である fact3: もしも何らかの物が突き込むとしたらそれは中国経済だ fact4: 仮になにがしかの物が灰色っぽいとしたらそれは痛い fact5: その視覚的効果は起用する fact6: 呪わしい物は突き込む fact7: 「「その軍将校は停車だがしかし財源問題でない」ということは事実と異なる」ということは成り立つとすればこの郁子は突き込まない fact8: もしもとある物は財源問題であるとすると「それはマネーラインでない」ということは成り立たない fact9: もしも何らかの物が突き込まないけれどそれが呪わしいなら中国経済だ fact10: その視覚的効果は中国経済であるし呪わしい fact11: あの佳境は財源問題である fact12: その視覚的効果は中国経済だ ; $hypothesis$ = その視覚的効果はマネーラインだ ; $proof$ = 
fact10 -> int1: その視覚的効果は呪わしい; fact6 -> int2: もしもその視覚的効果は呪わしいとしたら「突き込む」ということは誤っていない; int1 & int2 -> int3: その視覚的効果は突き込む; fact2 -> int4: 仮に「その視覚的効果は突き込む」ということは本当だとすればそれは財源問題である; int3 & int4 -> int5: その視覚的効果は財源問題だ; fact8 -> int6: その視覚的効果は財源問題であるとするとマネーラインである; int5 & int6 -> hypothesis; __PROVED__
事実1: もしもその視覚的効果は快諾であるとしたらそれは波長依存性だ
事実2: もしあるものが突き込むとすればそれは財源問題である
事実3: もしも何らかの物が突き込むとしたらそれは中国経済だ
事実4: 仮になにがしかの物が灰色っぽいとしたらそれは痛い
事実5: その視覚的効果は起用する
事実6: 呪わしい物は突き込む
事実7: 「「その軍将校は停車だがしかし財源問題でない」ということは事実と異なる」ということは成り立つとすればこの郁子は突き込まない
事実8: もしもとある物は財源問題であるとすると「それはマネーラインでない」ということは成り立たない
事実9: もしも何らかの物が突き込まないけれどそれが呪わしいなら中国経済だ
事実10: その視覚的効果は中国経済であるし呪わしい
事実11: あの佳境は財源問題である
事実12: その視覚的効果は中国経済だ

仮説: その視覚的効果はマネーラインだ
1. 事実10から、推論1: "その視覚的効果は呪わしい"が導かれる
2. 事実6から、推論2: "もしもその視覚的効果は呪わしいとしたら「突き込む」ということは誤っていない"が導かれる
3. 推論1と推論2から、推論3: "その視覚的効果は突き込む"が導かれる
4. 事実2から、推論4: "仮に「その視覚的効果は突き込む」ということは本当だとすればそれは財源問題である"が導かれる
5. 推論3と推論4から、推論5: "その視覚的効果は財源問題だ"が導かれる
6. 事実8から、推論6: "その視覚的効果は財源問題であるとするとマネーラインである"が導かれる
7. 推論5と推論6から、仮説が導かれる

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