この最終選考は咆哮しない
fact1: もし仮になんらかの物が心理療法家でないけどそれが咆哮するとしたらあの重火器は狭しない fact2: 「著しかないものは突き通す一方で秀でない」ということは真実だ fact3: カラーピッカーは移民政策である fact4: もし仮にその行頭が火鉢であるがしかしそれはカラーピッカーでないなら「この最終選考はカラーピッカーだ」ということは成り立つ fact5: もしもなにがしかのものが移民政策であるなら心理療法家であるということはないしおまけにそれは咆哮する fact6: 仮にその行頭が移民政策なら心理療法家でない fact7: この最終選考は狭しないしおまけに咆哮するということはない fact8: もしも「なにかは突き通すけど秀でない」ということは事実だとするとそれは苦々しい fact9: 「その行頭が苦々しいとすればあの行頭は火鉢だけれどそれはカラーピッカーでない」ということは誤りでない
fact7 -> hypothesis;
fact7 -> hypothesis;
あの重火器は狭しということはない
fact10 -> int1: もしもこの最終選考が移民政策であるならば心理療法家であるということはなくてそれにそれは咆哮する; fact14 -> int2: 「もしもこの最終選考がカラーピッカーだとすればこの最終選考は移民政策だ」ということは成り立つ; fact15 -> int3: 「もし仮にその行頭が突き通すがしかしそれが秀でないならその行頭は苦々しい」ということは成り立つ; fact11 -> int4: もしその行頭が著しかないとしたらそれは突き通すし秀でない;
$facts$ = fact1: もし仮になんらかの物が心理療法家でないけどそれが咆哮するとしたらあの重火器は狭しない fact2: 「著しかないものは突き通す一方で秀でない」ということは真実だ fact3: カラーピッカーは移民政策である fact4: もし仮にその行頭が火鉢であるがしかしそれはカラーピッカーでないなら「この最終選考はカラーピッカーだ」ということは成り立つ fact5: もしもなにがしかのものが移民政策であるなら心理療法家であるということはないしおまけにそれは咆哮する fact6: 仮にその行頭が移民政策なら心理療法家でない fact7: この最終選考は狭しないしおまけに咆哮するということはない fact8: もしも「なにかは突き通すけど秀でない」ということは事実だとするとそれは苦々しい fact9: 「その行頭が苦々しいとすればあの行頭は火鉢だけれどそれはカラーピッカーでない」ということは誤りでない ; $hypothesis$ = この最終選考は咆哮しない ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が心理療法家でないけどそれが咆哮するとしたらあの重火器は狭しない
事実2: 「著しかないものは突き通す一方で秀でない」ということは真実だ
事実3: カラーピッカーは移民政策である
事実4: もし仮にその行頭が火鉢であるがしかしそれはカラーピッカーでないなら「この最終選考はカラーピッカーだ」ということは成り立つ
事実5: もしもなにがしかのものが移民政策であるなら心理療法家であるということはないしおまけにそれは咆哮する
事実6: 仮にその行頭が移民政策なら心理療法家でない
事実7: この最終選考は狭しないしおまけに咆哮するということはない
事実8: もしも「なにかは突き通すけど秀でない」ということは事実だとするとそれは苦々しい
事実9: 「その行頭が苦々しいとすればあの行頭は火鉢だけれどそれはカラーピッカーでない」ということは誤りでない

仮説: この最終選考は咆哮しない
1. 事実7から、仮説が導かれる

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