「その遺物は触れ合わせるしさらに近寄り難い」ということは成り立つということはない
fact1: もしもあるものは近寄り難くないとしたら「優位点でないしそれは触れ合わせらない」ということは成り立たない fact2: 「「近寄り難いということはなくておまけに施工実験だ」ということは成り立たない」ものはある fact3: 「「近寄り難くない一方で施工実験だ」ということは確かでない」ものがあるとしたらその遺物は近寄り難い fact4: その遺物は優位点であるししかも触れ合わせる fact5: もし仮に「その遺物は優位点でないし加えて触れ合わせらない」ということは誤りだとしたら施工実験だ
fact4 -> int1: その遺物は触れ合わせる; fact2 & fact3 -> int2: その遺物は近寄り難い; int1 & int2 -> hypothesis;
fact4 -> int1: {B}{a}; fact2 & fact3 -> int2: {C}{a}; int1 & int2 -> hypothesis;
その遺物は施工実験である
fact7 -> int3: もしその遺物は近寄り難くないならば「優位点であるということはないしさらに触れ合わせらない」ということは間違っている;
$facts$ = fact1: もしもあるものは近寄り難くないとしたら「優位点でないしそれは触れ合わせらない」ということは成り立たない fact2: 「「近寄り難いということはなくておまけに施工実験だ」ということは成り立たない」ものはある fact3: 「「近寄り難くない一方で施工実験だ」ということは確かでない」ものがあるとしたらその遺物は近寄り難い fact4: その遺物は優位点であるししかも触れ合わせる fact5: もし仮に「その遺物は優位点でないし加えて触れ合わせらない」ということは誤りだとしたら施工実験だ ; $hypothesis$ = 「その遺物は触れ合わせるしさらに近寄り難い」ということは成り立つということはない ; $proof$ = 
fact4 -> int1: その遺物は触れ合わせる; fact2 & fact3 -> int2: その遺物は近寄り難い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあるものは近寄り難くないとしたら「優位点でないしそれは触れ合わせらない」ということは成り立たない
事実2: 「「近寄り難いということはなくておまけに施工実験だ」ということは成り立たない」ものはある
事実3: 「「近寄り難くない一方で施工実験だ」ということは確かでない」ものがあるとしたらその遺物は近寄り難い
事実4: その遺物は優位点であるししかも触れ合わせる
事実5: もし仮に「その遺物は優位点でないし加えて触れ合わせらない」ということは誤りだとしたら施工実験だ

仮説: 「その遺物は触れ合わせるしさらに近寄り難い」ということは成り立つということはない
1. 事実4から、推論1: "その遺物は触れ合わせる"が導かれる
2. 事実2と事実3から、推論2: "その遺物は近寄り難い"が導かれる
3. 推論1と推論2から、仮説が否定される

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