あの練習用は描き易い
fact1: そのストレージドライブは商人らしくない fact2: もし「そのストレージドライブは商人らしくない」ということは正しいとすると「拭けるしそれは不定語でない」ということは誤っている fact3: もしも何らかの物は回り出さないとすれば「それがカウンセリングするしその上商人らしい」ということは偽である fact4: もし仮にそのストレージドライブが回り出さないとしたらあの各課はカウンセリングする fact5: もしあの各課がカウンセリングするとするとあの練習用は描き易い fact6: もしもその体全体がカウンセリングしないとしたらそのストレージドライブは描き易い fact7: なにかはカウンセリングしないなら描き易いということはない fact8: 「もし「何らかの物は拭けるがしかし不定語でない」ということは本当でないとしたら「それは回り出すということはない」ということは真実だ」ということは偽でない fact9: 「何かはカウンセリングするし更に商人らしい」ということは成り立つということはないとするとカウンセリングしない
fact8 -> int1: もし仮に「そのストレージドライブは拭けるがしかし不定語だということはない」ということは間違っているなら回り出さない; fact1 & fact2 -> int2: 「そのストレージドライブは拭ける一方でそれは不定語でない」ということは誤っている; int1 & int2 -> int3: そのストレージドライブは回り出さない; int3 & fact4 -> int4: 「あの各課はカウンセリングする」ということは成り立つ; int4 & fact5 -> hypothesis;
あの練習用は描き易くない
fact11 -> int5: 「あの練習用はカウンセリングしない」ということは真実であるとしたらそれは描き易くない; fact10 -> int6: もし仮に「あの練習用はカウンセリングするしまたそれは商人らしい」ということは事実でないとすればそれはカウンセリングするということはない; fact12 -> int7: もし仮にあの練習用は回り出さないならば「「それはカウンセリングするしかつ商人らしい」ということは間違っていない」ということは間違いである;
$facts$ = fact1: そのストレージドライブは商人らしくない fact2: もし「そのストレージドライブは商人らしくない」ということは正しいとすると「拭けるしそれは不定語でない」ということは誤っている fact3: もしも何らかの物は回り出さないとすれば「それがカウンセリングするしその上商人らしい」ということは偽である fact4: もし仮にそのストレージドライブが回り出さないとしたらあの各課はカウンセリングする fact5: もしあの各課がカウンセリングするとするとあの練習用は描き易い fact6: もしもその体全体がカウンセリングしないとしたらそのストレージドライブは描き易い fact7: なにかはカウンセリングしないなら描き易いということはない fact8: 「もし「何らかの物は拭けるがしかし不定語でない」ということは本当でないとしたら「それは回り出すということはない」ということは真実だ」ということは偽でない fact9: 「何かはカウンセリングするし更に商人らしい」ということは成り立つということはないとするとカウンセリングしない ; $hypothesis$ = あの練習用は描き易い ; $proof$ = 
fact8 -> int1: もし仮に「そのストレージドライブは拭けるがしかし不定語だということはない」ということは間違っているなら回り出さない; fact1 & fact2 -> int2: 「そのストレージドライブは拭ける一方でそれは不定語でない」ということは誤っている; int1 & int2 -> int3: そのストレージドライブは回り出さない; int3 & fact4 -> int4: 「あの各課はカウンセリングする」ということは成り立つ; int4 & fact5 -> hypothesis; __PROVED__
事実1: そのストレージドライブは商人らしくない
事実2: もし「そのストレージドライブは商人らしくない」ということは正しいとすると「拭けるしそれは不定語でない」ということは誤っている
事実3: もしも何らかの物は回り出さないとすれば「それがカウンセリングするしその上商人らしい」ということは偽である
事実4: もし仮にそのストレージドライブが回り出さないとしたらあの各課はカウンセリングする
事実5: もしあの各課がカウンセリングするとするとあの練習用は描き易い
事実6: もしもその体全体がカウンセリングしないとしたらそのストレージドライブは描き易い
事実7: なにかはカウンセリングしないなら描き易いということはない
事実8: 「もし「何らかの物は拭けるがしかし不定語でない」ということは本当でないとしたら「それは回り出すということはない」ということは真実だ」ということは偽でない
事実9: 「何かはカウンセリングするし更に商人らしい」ということは成り立つということはないとするとカウンセリングしない

仮説: あの練習用は描き易い
1. 事実8から、推論1: "もし仮に「そのストレージドライブは拭けるがしかし不定語だということはない」ということは間違っているなら回り出さない"が導かれる
2. 事実1と事実2から、推論2: "「そのストレージドライブは拭ける一方でそれは不定語でない」ということは誤っている"が導かれる
3. 推論1と推論2から、推論3: "そのストレージドライブは回り出さない"が導かれる
4. 推論3と事実4から、推論4: "「あの各課はカウンセリングする」ということは成り立つ"が導かれる
5. 推論4と事実5から、仮説が導かれる

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