あのバリア効果は詰め替えない
fact1: もし仮になんらかの物は証拠資料であるとすると「薄れ始めるかまたはそれは詰め替えないかまたは両方ともである」ということは成り立たない fact2: 全てのものはＩＮＤであるということはない fact3: 「その基本構造は詰め替えるし交渉する」ということは嘘でない fact4: あのバリア効果は詰め替えるしまた六年判決だ
fact4 -> hypothesis;
その基本構造は六年判決である
fact6 -> int1: もし仮にこのテレビ画像は証拠資料であるならば「薄れ始めるか詰め替えない」ということは間違いだ; fact5 -> int2: このテレビ画像はＩＮＤでない;
$facts$ = fact1: もし仮になんらかの物は証拠資料であるとすると「薄れ始めるかまたはそれは詰め替えないかまたは両方ともである」ということは成り立たない fact2: 全てのものはＩＮＤであるということはない fact3: 「その基本構造は詰め替えるし交渉する」ということは嘘でない fact4: あのバリア効果は詰め替えるしまた六年判決だ ; $hypothesis$ = あのバリア効果は詰め替えない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかの物は証拠資料であるとすると「薄れ始めるかまたはそれは詰め替えないかまたは両方ともである」ということは成り立たない
事実2: 全てのものはＩＮＤであるということはない
事実3: 「その基本構造は詰め替えるし交渉する」ということは嘘でない
事実4: あのバリア効果は詰め替えるしまた六年判決だ

仮説: あのバリア効果は詰め替えない
1. 事実4から、仮説が否定される

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