「仮に達さなくてリダイレクトするならバーセルでない」ものはある
fact1: 「達すしその上リダイレクトするとしたらバーセルでない」ものはある fact2: もしもこのコース取りが達さないけどそれはリダイレクトするとすれば「それはバーセルでない」ということは本当だ fact3: このコース取りは達さないがしかしリダイレクトすればそれはバーセルだ fact4: もし仮にこのコース取りは達すしさらにリダイレクトするとするとそれはバーセルでない
fact2 -> hypothesis;
$facts$ = fact1: 「達すしその上リダイレクトするとしたらバーセルでない」ものはある fact2: もしもこのコース取りが達さないけどそれはリダイレクトするとすれば「それはバーセルでない」ということは本当だ fact3: このコース取りは達さないがしかしリダイレクトすればそれはバーセルだ fact4: もし仮にこのコース取りは達すしさらにリダイレクトするとするとそれはバーセルでない ; $hypothesis$ = 「仮に達さなくてリダイレクトするならバーセルでない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「達すしその上リダイレクトするとしたらバーセルでない」ものはある
事実2: もしもこのコース取りが達さないけどそれはリダイレクトするとすれば「それはバーセルでない」ということは本当だ
事実3: このコース取りは達さないがしかしリダイレクトすればそれはバーセルだ
事実4: もし仮にこのコース取りは達すしさらにリダイレクトするとするとそれはバーセルでない

仮説: 「仮に達さなくてリダイレクトするならバーセルでない」ものはある
1. 事実2から、仮説が導かれる

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