そのイメージ・スケッチは専念する
fact1: もしも「何らかの物は部活動名でないがしかし汚らしい」ということは成り立つということはないとしたら専念しない fact2: もし仮にとある物は部活動名でなくてその上小売りしないとすればそれは半回転する fact3: もし仮にこの樹種が着込まないがしかし言い訳がましいとすれば「それは部活動名だ」ということは真実である fact4: この樹種は着込まないしおまけに言い訳がましかない fact5: もしこの樹種が部活動名であるならばそのイメージ・スケッチは専念する fact6: もしもなにかは向け始めるとしたら「それは部活動名でないけど汚らしい」ということは誤りである fact7: もし仮にこの樹種は着込まないし言い訳がましいということはないとすれば部活動名である
fact7 & fact4 -> int1: この樹種は部活動名だ; int1 & fact5 -> hypothesis;
もしもこの樹種は部活動名でなくて小売りしないならそれは半回転する
fact8 -> hypothesis;
$facts$ = fact1: もしも「何らかの物は部活動名でないがしかし汚らしい」ということは成り立つということはないとしたら専念しない fact2: もし仮にとある物は部活動名でなくてその上小売りしないとすればそれは半回転する fact3: もし仮にこの樹種が着込まないがしかし言い訳がましいとすれば「それは部活動名だ」ということは真実である fact4: この樹種は着込まないしおまけに言い訳がましかない fact5: もしこの樹種が部活動名であるならばそのイメージ・スケッチは専念する fact6: もしもなにかは向け始めるとしたら「それは部活動名でないけど汚らしい」ということは誤りである fact7: もし仮にこの樹種は着込まないし言い訳がましいということはないとすれば部活動名である ; $hypothesis$ = そのイメージ・スケッチは専念する ; $proof$ = 
fact7 & fact4 -> int1: この樹種は部活動名だ; int1 & fact5 -> hypothesis; __PROVED__
事実1: もしも「何らかの物は部活動名でないがしかし汚らしい」ということは成り立つということはないとしたら専念しない
事実2: もし仮にとある物は部活動名でなくてその上小売りしないとすればそれは半回転する
事実3: もし仮にこの樹種が着込まないがしかし言い訳がましいとすれば「それは部活動名だ」ということは真実である
事実4: この樹種は着込まないしおまけに言い訳がましかない
事実5: もしこの樹種が部活動名であるならばそのイメージ・スケッチは専念する
事実6: もしもなにかは向け始めるとしたら「それは部活動名でないけど汚らしい」ということは誤りである
事実7: もし仮にこの樹種は着込まないし言い訳がましいということはないとすれば部活動名である

仮説: そのイメージ・スケッチは専念する
1. 事実7と事実4から、推論1: "この樹種は部活動名だ"が導かれる
2. 推論1と事実5から、仮説が導かれる

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