その三日前は物置小屋でない
fact1: その三日前は尤もらしくない fact2: 仮にそのトラック輸送がプロジェクト・マネジャーであるかまたはそれが怖ーくないとしたらそれは展開し易いということはない fact3: もし仮になんらかのものが戦略でないとすればそれは馬鹿でかいし更に請い求める fact4: もしもその大型ショッピングセンターが馬鹿でかいならその三日前は物置小屋だ fact5: この道路特定財源は物置小屋でない fact6: そのトラック輸送が馬鹿でかいけれど浅くないならばあの幕屋は馬鹿でかい fact7: もし「「その世界恐慌は描き易くないしそれは倹しいということはない」ということは成り立たない」ということは真実なら「そのトラック輸送は戦略だということはない」ということは間違っていない fact8: その三日前は物置小屋でない fact9: もしあの幕屋が馬鹿でかいとすればその大型ショッピングセンターは馬鹿でかい fact10: もし仮にある物は展開し易くないとすればわらび型であるがしかし預かり物でない fact11: 仮にわらび型は預かり物でないならそれは浅くない fact12: 「その世界恐慌は描き易くないしそれに倹しかない」ということは誤りだ
fact8 -> hypothesis;
fact8 -> hypothesis;
その三日前は物置小屋である
fact18 -> int1: もしもそのトラック輸送が戦略だということはないとしたらそれは馬鹿でかいしさらに請い求める; fact16 & fact20 -> int2: そのトラック輸送は戦略でない; int1 & int2 -> int3: そのトラック輸送は馬鹿でかいし更に請い求める; int3 -> int4: そのトラック輸送は馬鹿でかい; fact13 -> int5: もしもそのトラック輸送がわらび型だ一方で預かり物でないならば浅くない; fact21 -> int6: そのトラック輸送は展開し易くないとしたらわらび型であるがしかし預かり物でない;
$facts$ = fact1: その三日前は尤もらしくない fact2: 仮にそのトラック輸送がプロジェクト・マネジャーであるかまたはそれが怖ーくないとしたらそれは展開し易いということはない fact3: もし仮になんらかのものが戦略でないとすればそれは馬鹿でかいし更に請い求める fact4: もしもその大型ショッピングセンターが馬鹿でかいならその三日前は物置小屋だ fact5: この道路特定財源は物置小屋でない fact6: そのトラック輸送が馬鹿でかいけれど浅くないならばあの幕屋は馬鹿でかい fact7: もし「「その世界恐慌は描き易くないしそれは倹しいということはない」ということは成り立たない」ということは真実なら「そのトラック輸送は戦略だということはない」ということは間違っていない fact8: その三日前は物置小屋でない fact9: もしあの幕屋が馬鹿でかいとすればその大型ショッピングセンターは馬鹿でかい fact10: もし仮にある物は展開し易くないとすればわらび型であるがしかし預かり物でない fact11: 仮にわらび型は預かり物でないならそれは浅くない fact12: 「その世界恐慌は描き易くないしそれに倹しかない」ということは誤りだ ; $hypothesis$ = その三日前は物置小屋でない ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: その三日前は尤もらしくない
事実2: 仮にそのトラック輸送がプロジェクト・マネジャーであるかまたはそれが怖ーくないとしたらそれは展開し易いということはない
事実3: もし仮になんらかのものが戦略でないとすればそれは馬鹿でかいし更に請い求める
事実4: もしもその大型ショッピングセンターが馬鹿でかいならその三日前は物置小屋だ
事実5: この道路特定財源は物置小屋でない
事実6: そのトラック輸送が馬鹿でかいけれど浅くないならばあの幕屋は馬鹿でかい
事実7: もし「「その世界恐慌は描き易くないしそれは倹しいということはない」ということは成り立たない」ということは真実なら「そのトラック輸送は戦略だということはない」ということは間違っていない
事実8: その三日前は物置小屋でない
事実9: もしあの幕屋が馬鹿でかいとすればその大型ショッピングセンターは馬鹿でかい
事実10: もし仮にある物は展開し易くないとすればわらび型であるがしかし預かり物でない
事実11: 仮にわらび型は預かり物でないならそれは浅くない
事実12: 「その世界恐慌は描き易くないしそれに倹しかない」ということは誤りだ

仮説: その三日前は物置小屋でない
1. 事実8から、仮説が導かれる

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