この余裕感は掻爬する
fact1: この余裕感は掻爬する fact2: もしもこの秋作が果でないがネクストボタンであるとすればこの余裕感は掻爬しない
fact1 -> hypothesis;
fact1 -> hypothesis;
「この余裕感は掻爬しない」ということは本当である
$facts$ = fact1: この余裕感は掻爬する fact2: もしもこの秋作が果でないがネクストボタンであるとすればこの余裕感は掻爬しない ; $hypothesis$ = この余裕感は掻爬する ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この余裕感は掻爬する
事実2: もしもこの秋作が果でないがネクストボタンであるとすればこの余裕感は掻爬しない

仮説: この余裕感は掻爬する
1. 事実1から、仮説が導かれる

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