「もし真新しくないとすると銅版でない」ものはある
fact1: もし仮にあのマーケットが生じ難くないとすれば銅版だ fact2: もしその二十一戦が真新しくないとするとそれは銅版でない fact3: もしその二十一戦は真新しいならば「それは銅版でない」ということは真実だ fact4: 「もし真新しいならば銅版でない」物はある fact5: もしもその二十一戦がブランド拡張しないならそれは銅版であるということはない fact6: 仮に「その給与条例は真新しくない」ということは確かだとするとそれは首尾良くない fact7: もしなにがしかのものは銅版でないなら「それは認め合わない」ということは成り立つ fact8: 「もし真新しいということはないなら銅版な」ものはある
fact2 -> hypothesis;
もしあのレンジが銅版でないとすればそれは認め合わない
fact9 -> hypothesis;
$facts$ = fact1: もし仮にあのマーケットが生じ難くないとすれば銅版だ fact2: もしその二十一戦が真新しくないとするとそれは銅版でない fact3: もしその二十一戦は真新しいならば「それは銅版でない」ということは真実だ fact4: 「もし真新しいならば銅版でない」物はある fact5: もしもその二十一戦がブランド拡張しないならそれは銅版であるということはない fact6: 仮に「その給与条例は真新しくない」ということは確かだとするとそれは首尾良くない fact7: もしなにがしかのものは銅版でないなら「それは認め合わない」ということは成り立つ fact8: 「もし真新しいということはないなら銅版な」ものはある ; $hypothesis$ = 「もし真新しくないとすると銅版でない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮にあのマーケットが生じ難くないとすれば銅版だ
事実2: もしその二十一戦が真新しくないとするとそれは銅版でない
事実3: もしその二十一戦は真新しいならば「それは銅版でない」ということは真実だ
事実4: 「もし真新しいならば銅版でない」物はある
事実5: もしもその二十一戦がブランド拡張しないならそれは銅版であるということはない
事実6: 仮に「その給与条例は真新しくない」ということは確かだとするとそれは首尾良くない
事実7: もしなにがしかのものは銅版でないなら「それは認め合わない」ということは成り立つ
事実8: 「もし真新しいということはないなら銅版な」ものはある

仮説: 「もし真新しくないとすると銅版でない」ものはある
1. 事実2から、仮説が導かれる

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