あの効用はそそっかしい
fact1: もしもあの効用が捕捉出来るとするとその伝は石像である fact2: もし仮にその伝が石像でないとすればあの効用は捕捉出来ないけどそそっかしい fact3: もしその伝が捕捉出来るならそれは石像である fact4: その伝は捕捉出来る fact5: もしあの効用がべた付き易いかスポーツマンらしいとすればそそっかしくない fact6: この西洋型は捕捉出来る fact7: 仮にその伝が石像であるとするとあの効用はべた付き易い
fact3 & fact4 -> int1: 「その伝は石像だ」ということは誤っているということはない; int1 & fact7 -> int2: あの効用はべた付き易い; int2 -> int3: あの効用はべた付き易いかもしくはそれはスポーツマンらしいかまたはどちらもだ; int3 & fact5 -> hypothesis;
あの効用はそそっかしい
$facts$ = fact1: もしもあの効用が捕捉出来るとするとその伝は石像である fact2: もし仮にその伝が石像でないとすればあの効用は捕捉出来ないけどそそっかしい fact3: もしその伝が捕捉出来るならそれは石像である fact4: その伝は捕捉出来る fact5: もしあの効用がべた付き易いかスポーツマンらしいとすればそそっかしくない fact6: この西洋型は捕捉出来る fact7: 仮にその伝が石像であるとするとあの効用はべた付き易い ; $hypothesis$ = あの効用はそそっかしい ; $proof$ = 
fact3 & fact4 -> int1: 「その伝は石像だ」ということは誤っているということはない; int1 & fact7 -> int2: あの効用はべた付き易い; int2 -> int3: あの効用はべた付き易いかもしくはそれはスポーツマンらしいかまたはどちらもだ; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもあの効用が捕捉出来るとするとその伝は石像である
事実2: もし仮にその伝が石像でないとすればあの効用は捕捉出来ないけどそそっかしい
事実3: もしその伝が捕捉出来るならそれは石像である
事実4: その伝は捕捉出来る
事実5: もしあの効用がべた付き易いかスポーツマンらしいとすればそそっかしくない
事実6: この西洋型は捕捉出来る
事実7: 仮にその伝が石像であるとするとあの効用はべた付き易い

仮説: あの効用はそそっかしい
1. 事実3と事実4から、推論1: "「その伝は石像だ」ということは誤っているということはない"が導かれる
2. 推論1と事実7から、推論2: "あの効用はべた付き易い"が導かれる
3. 推論2から、推論3: "あの効用はべた付き易いかもしくはそれはスポーツマンらしいかまたはどちらもだ"が導かれる
4. 推論3と事実5から、仮説が否定される

よって、仮説が否定されました。