そのバラエティー番組は変わり易い
fact1: この平均μがパイオニアＬＤＣであるならそのバラエティー番組はリンク張り付けする fact2: 仮に「「控除し切れるししかも六文銭だ」ということは正しいということはない」ものがあるとすればあの滝型は控除し切れない fact3: そのバラエティー番組はリンク張り付けする fact4: この平均μがパイオニアＬＤＣならばそのバラエティー番組は変わり易くないがしかしリンク張り付けする fact5: この平均μはパイオニアＬＤＣだ fact6: 「「控除し切れるしそれに六文銭だ」ということは間違いである」物はある
fact4 & fact5 -> int1: そのバラエティー番組は変わり易くないけどリンク張り付けする; int1 -> hypothesis;
fact4 & fact5 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> hypothesis;
この滝型は控除し切れないがしかしリンク張り付けする
fact8 & fact7 -> int2: この滝型は控除し切れない;
$facts$ = fact1: この平均μがパイオニアＬＤＣであるならそのバラエティー番組はリンク張り付けする fact2: 仮に「「控除し切れるししかも六文銭だ」ということは正しいということはない」ものがあるとすればあの滝型は控除し切れない fact3: そのバラエティー番組はリンク張り付けする fact4: この平均μがパイオニアＬＤＣならばそのバラエティー番組は変わり易くないがしかしリンク張り付けする fact5: この平均μはパイオニアＬＤＣだ fact6: 「「控除し切れるしそれに六文銭だ」ということは間違いである」物はある ; $hypothesis$ = そのバラエティー番組は変わり易い ; $proof$ = 
fact4 & fact5 -> int1: そのバラエティー番組は変わり易くないけどリンク張り付けする; int1 -> hypothesis; __DISPROVED__
事実1: この平均μがパイオニアＬＤＣであるならそのバラエティー番組はリンク張り付けする
事実2: 仮に「「控除し切れるししかも六文銭だ」ということは正しいということはない」ものがあるとすればあの滝型は控除し切れない
事実3: そのバラエティー番組はリンク張り付けする
事実4: この平均μがパイオニアＬＤＣならばそのバラエティー番組は変わり易くないがしかしリンク張り付けする
事実5: この平均μはパイオニアＬＤＣだ
事実6: 「「控除し切れるしそれに六文銭だ」ということは間違いである」物はある

仮説: そのバラエティー番組は変わり易い
1. 事実4と事実5から、推論1: "そのバラエティー番組は変わり易くないけどリンク張り付けする"が導かれる
2. 推論1から、仮説が否定される

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