「もし書類送検するとすれば勝利出来ないしそれに色褪せない」物はある
fact1: 「もしも書類送検するなら勝利出来ない」ものはある fact2: 仮にあの禁裏が書類送検するとすればそれが勝利出来るしその上色褪せない fact3: 「もし仮に「書類送検する」ということは本当であるとすると色褪せるということはない」ものはある fact4: 「もしもバンド全体であるならば投稿しないけど得易い」ものはある fact5: 仮にあの禁裏が書類送検すれば勝利出来ないし加えて色褪せない fact6: もし「なにがしかの物はプログラム化する」ということは確かならば標準でなくてかつ出塁しない
fact5 -> hypothesis;
この陰陽がプログラム化するとしたらそれは標準でないしさらにそれは出塁しない
fact7 -> hypothesis;
$facts$ = fact1: 「もしも書類送検するなら勝利出来ない」ものはある fact2: 仮にあの禁裏が書類送検するとすればそれが勝利出来るしその上色褪せない fact3: 「もし仮に「書類送検する」ということは本当であるとすると色褪せるということはない」ものはある fact4: 「もしもバンド全体であるならば投稿しないけど得易い」ものはある fact5: 仮にあの禁裏が書類送検すれば勝利出来ないし加えて色褪せない fact6: もし「なにがしかの物はプログラム化する」ということは確かならば標準でなくてかつ出塁しない ; $hypothesis$ = 「もし書類送検するとすれば勝利出来ないしそれに色褪せない」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もしも書類送検するなら勝利出来ない」ものはある
事実2: 仮にあの禁裏が書類送検するとすればそれが勝利出来るしその上色褪せない
事実3: 「もし仮に「書類送検する」ということは本当であるとすると色褪せるということはない」ものはある
事実4: 「もしもバンド全体であるならば投稿しないけど得易い」ものはある
事実5: 仮にあの禁裏が書類送検すれば勝利出来ないし加えて色褪せない
事実6: もし「なにがしかの物はプログラム化する」ということは確かならば標準でなくてかつ出塁しない

仮説: 「もし書類送検するとすれば勝利出来ないしそれに色褪せない」物はある
1. 事実5から、仮説が導かれる

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