「もし復すということはないとしたら「培養するがしかし並び順でない」ということは成り立たない」ものはある
fact1: 「もし復さないとすれば「培養するしその上並び順だ」ということは誤っている」物はある fact2: もし仮にあの組織剥離法はオルタナティブであるなら「それは日光社参でそれは並び順でない」ということは成り立たない fact3: 仮にその電力事業が復さないならば培養するしかつ並び順でない fact4: もしもその電力事業は復さないなら「培養するけれど並び順でない」ということは間違いだ
fact4 -> hypothesis;
$facts$ = fact1: 「もし復さないとすれば「培養するしその上並び順だ」ということは誤っている」物はある fact2: もし仮にあの組織剥離法はオルタナティブであるなら「それは日光社参でそれは並び順でない」ということは成り立たない fact3: 仮にその電力事業が復さないならば培養するしかつ並び順でない fact4: もしもその電力事業は復さないなら「培養するけれど並び順でない」ということは間違いだ ; $hypothesis$ = 「もし復すということはないとしたら「培養するがしかし並び順でない」ということは成り立たない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もし復さないとすれば「培養するしその上並び順だ」ということは誤っている」物はある
事実2: もし仮にあの組織剥離法はオルタナティブであるなら「それは日光社参でそれは並び順でない」ということは成り立たない
事実3: 仮にその電力事業が復さないならば培養するしかつ並び順でない
事実4: もしもその電力事業は復さないなら「培養するけれど並び順でない」ということは間違いだ

仮説: 「もし復すということはないとしたら「培養するがしかし並び順でない」ということは成り立たない」ものはある
1. 事実4から、仮説が導かれる

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