「「「優越するということはない」ということは成り立つ」ものはある」ということは誤りである
fact1: 「あのデータ・ソースは出撃しないけれどそれは横峰寺だ」ということは確かでない fact2: もしもこの居眠り運転が控除出来るとしたらあのデータ・ソースは相互作用するけれど優越しない fact3: 「横峰寺でない」ものはある fact4: 「通り易くないものは控除出来るしさらに竿する」ということは成り立つ fact5: もし仮になにがしかの物は相互作用する一方で優越しないならそれは受け入れ易くない fact6: 仮に「あのデータ・ソースは出撃しないがそれは横峰寺である」ということは成り立たないならそれは優越しない fact7: もしあのデータ・ソースは横峰寺でないならば優越しない
fact6 & fact1 -> int1: あのデータ・ソースは優越しない; int1 -> hypothesis;
「「受け入れ易くない」ということは本当な」ものはある
fact8 -> int2: 仮にあのデータ・ソースは相互作用するけど優越しないとするとそれは受け入れ易くない; fact9 -> int3: この居眠り運転が通り易いということはないとしたらそれは控除出来るし竿する;
$facts$ = fact1: 「あのデータ・ソースは出撃しないけれどそれは横峰寺だ」ということは確かでない fact2: もしもこの居眠り運転が控除出来るとしたらあのデータ・ソースは相互作用するけれど優越しない fact3: 「横峰寺でない」ものはある fact4: 「通り易くないものは控除出来るしさらに竿する」ということは成り立つ fact5: もし仮になにがしかの物は相互作用する一方で優越しないならそれは受け入れ易くない fact6: 仮に「あのデータ・ソースは出撃しないがそれは横峰寺である」ということは成り立たないならそれは優越しない fact7: もしあのデータ・ソースは横峰寺でないならば優越しない ; $hypothesis$ = 「「「優越するということはない」ということは成り立つ」ものはある」ということは誤りである ; $proof$ = 
fact6 & fact1 -> int1: あのデータ・ソースは優越しない; int1 -> hypothesis; __DISPROVED__
事実1: 「あのデータ・ソースは出撃しないけれどそれは横峰寺だ」ということは確かでない
事実2: もしもこの居眠り運転が控除出来るとしたらあのデータ・ソースは相互作用するけれど優越しない
事実3: 「横峰寺でない」ものはある
事実4: 「通り易くないものは控除出来るしさらに竿する」ということは成り立つ
事実5: もし仮になにがしかの物は相互作用する一方で優越しないならそれは受け入れ易くない
事実6: 仮に「あのデータ・ソースは出撃しないがそれは横峰寺である」ということは成り立たないならそれは優越しない
事実7: もしあのデータ・ソースは横峰寺でないならば優越しない

仮説: 「「「優越するということはない」ということは成り立つ」ものはある」ということは誤りである
1. 事実6と事実1から、推論1: "あのデータ・ソースは優越しない"が導かれる
2. 推論1から、仮説が否定される

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