「その作品はインライン・スケートであるということはないがしかしそれは取り難い」ということは間違いである
fact1: もし仮にこの信託基金は構成し得れば「その華やかさは集束ネットワークだということはない」ということは事実と異ならない fact2: その作品はインライン・スケートでないけど取り難い fact3: その作品はインライン・スケートであるということはない fact4: その付き方は欲張り過ぎない一方でそれは電池系だ fact5: 仮にその華やかさは集束ネットワークでないとすれば「その作品はインライン・スケートでないがしかしそれは取り難い」ということは事実でない fact6: 考え易いということはない物は構成し得るし相伝する
fact2 -> hypothesis;
fact2 -> hypothesis;
「その作品はインライン・スケートでないがしかし取り難い」ということは成り立たない
fact7 -> int1: この信託基金が考え易くないとすればそれは構成し得るし更に相伝する;
$facts$ = fact1: もし仮にこの信託基金は構成し得れば「その華やかさは集束ネットワークだということはない」ということは事実と異ならない fact2: その作品はインライン・スケートでないけど取り難い fact3: その作品はインライン・スケートであるということはない fact4: その付き方は欲張り過ぎない一方でそれは電池系だ fact5: 仮にその華やかさは集束ネットワークでないとすれば「その作品はインライン・スケートでないがしかしそれは取り難い」ということは事実でない fact6: 考え易いということはない物は構成し得るし相伝する ; $hypothesis$ = 「その作品はインライン・スケートであるということはないがしかしそれは取り難い」ということは間違いである ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: もし仮にこの信託基金は構成し得れば「その華やかさは集束ネットワークだということはない」ということは事実と異ならない
事実2: その作品はインライン・スケートでないけど取り難い
事実3: その作品はインライン・スケートであるということはない
事実4: その付き方は欲張り過ぎない一方でそれは電池系だ
事実5: 仮にその華やかさは集束ネットワークでないとすれば「その作品はインライン・スケートでないがしかしそれは取り難い」ということは事実でない
事実6: 考え易いということはない物は構成し得るし相伝する

仮説: 「その作品はインライン・スケートであるということはないがしかしそれは取り難い」ということは間違いである
1. 事実2から、仮説が否定される

よって、仮説が否定されました。