「もし取り易くないとしたら「ウィンドウ制御でないし踏み付ける」ということは間違っている」物はある
fact1: 取り易いということはない物はウィンドウ制御でないがしかし踏み付ける fact2: もしも「とある物は回らない」ということは真実であるとしたら「与すないが閑散期である」ということは成り立たない fact3: とある物は規定しないなら「それは震動するしそれにペンスタンドである」ということは成り立たない fact4: もしなんらかのものは取り易くないとすれば「それはウィンドウ制御でないしそれにそれは踏み付ける」ということは嘘である
fact4 -> int1: 仮にこの手術痕は取り易くないとすれば「ウィンドウ制御でないが踏み付ける」ということは事実と異なる; int1 -> hypothesis;
$facts$ = fact1: 取り易いということはない物はウィンドウ制御でないがしかし踏み付ける fact2: もしも「とある物は回らない」ということは真実であるとしたら「与すないが閑散期である」ということは成り立たない fact3: とある物は規定しないなら「それは震動するしそれにペンスタンドである」ということは成り立たない fact4: もしなんらかのものは取り易くないとすれば「それはウィンドウ制御でないしそれにそれは踏み付ける」ということは嘘である ; $hypothesis$ = 「もし取り易くないとしたら「ウィンドウ制御でないし踏み付ける」ということは間違っている」物はある ; $proof$ = 
fact4 -> int1: 仮にこの手術痕は取り易くないとすれば「ウィンドウ制御でないが踏み付ける」ということは事実と異なる; int1 -> hypothesis; __PROVED__
事実1: 取り易いということはない物はウィンドウ制御でないがしかし踏み付ける
事実2: もしも「とある物は回らない」ということは真実であるとしたら「与すないが閑散期である」ということは成り立たない
事実3: とある物は規定しないなら「それは震動するしそれにペンスタンドである」ということは成り立たない
事実4: もしなんらかのものは取り易くないとすれば「それはウィンドウ制御でないしそれにそれは踏み付ける」ということは嘘である

仮説: 「もし取り易くないとしたら「ウィンドウ制御でないし踏み付ける」ということは間違っている」物はある
1. 事実4から、推論1: "仮にこの手術痕は取り易くないとすれば「ウィンドウ制御でないが踏み付ける」ということは事実と異なる"が導かれる
2. 推論1から、仮説が導かれる

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