「もし仮に行われ易くないならば「捨て切れないしさらに潜れる」ということは嘘である」ものはある
fact1: もし仮にこの大業は行われ易くないとすれば「捨て切れないしかつそれは潜れる」ということは事実と異なる fact2: 仮になにがしかの物は潜れないとすれば「それは縮小出来ないしかつ勝ち易い」ということは本当でない
fact1 -> hypothesis;
もしあの孤は潜れないとすると「それは縮小出来ないがしかし勝ち易い」ということは成り立たない
fact3 -> hypothesis;
$facts$ = fact1: もし仮にこの大業は行われ易くないとすれば「捨て切れないしかつそれは潜れる」ということは事実と異なる fact2: 仮になにがしかの物は潜れないとすれば「それは縮小出来ないしかつ勝ち易い」ということは本当でない ; $hypothesis$ = 「もし仮に行われ易くないならば「捨て切れないしさらに潜れる」ということは嘘である」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮にこの大業は行われ易くないとすれば「捨て切れないしかつそれは潜れる」ということは事実と異なる
事実2: 仮になにがしかの物は潜れないとすれば「それは縮小出来ないしかつ勝ち易い」ということは本当でない

仮説: 「もし仮に行われ易くないならば「捨て切れないしさらに潜れる」ということは嘘である」ものはある
1. 事実1から、仮説が導かれる

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