もしもこの日足は舞踊家でないし詮無くないとすればそれは学び取れる
fact1: 長ーいし逃れ難くないものは緩み易い fact2: 仮に何らかのものが舞踊家でなくてしかも詮無くないならば学び取れる fact3: 仮に何かは分岐するが獲得法でないとしたら文化財だ fact4: ある物は連携出来ないが見え易いならば「それは選択し易い」ということは正しい
fact2 -> hypothesis;
$facts$ = fact1: 長ーいし逃れ難くないものは緩み易い fact2: 仮に何らかのものが舞踊家でなくてしかも詮無くないならば学び取れる fact3: 仮に何かは分岐するが獲得法でないとしたら文化財だ fact4: ある物は連携出来ないが見え易いならば「それは選択し易い」ということは正しい ; $hypothesis$ = もしもこの日足は舞踊家でないし詮無くないとすればそれは学び取れる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 長ーいし逃れ難くないものは緩み易い
事実2: 仮に何らかのものが舞踊家でなくてしかも詮無くないならば学び取れる
事実3: 仮に何かは分岐するが獲得法でないとしたら文化財だ
事実4: ある物は連携出来ないが見え易いならば「それは選択し易い」ということは正しい

仮説: もしもこの日足は舞踊家でないし詮無くないとすればそれは学び取れる
1. 事実2から、仮説が導かれる

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