「もし仮にその隼鷹が創意工夫するしおまけに長々しいならばその隼鷹は五つ星ホテルでない」ということは成り立たない
fact1: もしなにがしかのものは創意工夫するし長々しいとするとそれは五つ星ホテルだ fact2: 仮に形鋼は白いならば「それは安寄りしない」ということは真実である fact3: 仮になにかは創意工夫するししかも長々しいとしたら「五つ星ホテルでない」ということは成り立つ fact4: その隼鷹が創意工夫するしそれが長々しいならそれは五つ星ホテルである fact5: もし仮に飲み難いものが成され易いならばそれは舞わない fact6: もしも誤り無いものはパイエル板であるとすれば「おかまでない」ということは成り立つ
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もしなにがしかのものは創意工夫するし長々しいとするとそれは五つ星ホテルだ fact2: 仮に形鋼は白いならば「それは安寄りしない」ということは真実である fact3: 仮になにかは創意工夫するししかも長々しいとしたら「五つ星ホテルでない」ということは成り立つ fact4: その隼鷹が創意工夫するしそれが長々しいならそれは五つ星ホテルである fact5: もし仮に飲み難いものが成され易いならばそれは舞わない fact6: もしも誤り無いものはパイエル板であるとすれば「おかまでない」ということは成り立つ ; $hypothesis$ = 「もし仮にその隼鷹が創意工夫するしおまけに長々しいならばその隼鷹は五つ星ホテルでない」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もしなにがしかのものは創意工夫するし長々しいとするとそれは五つ星ホテルだ
事実2: 仮に形鋼は白いならば「それは安寄りしない」ということは真実である
事実3: 仮になにかは創意工夫するししかも長々しいとしたら「五つ星ホテルでない」ということは成り立つ
事実4: その隼鷹が創意工夫するしそれが長々しいならそれは五つ星ホテルである
事実5: もし仮に飲み難いものが成され易いならばそれは舞わない
事実6: もしも誤り無いものはパイエル板であるとすれば「おかまでない」ということは成り立つ

仮説: 「もし仮にその隼鷹が創意工夫するしおまけに長々しいならばその隼鷹は五つ星ホテルでない」ということは成り立たない
1. 事実3から、仮説が否定される

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