「納得し難いかもしくは表現し難いということはない物はある」ということは真実であるということはない
fact1: 仮になにかは納得し難いなら著しいかまたは表現し難くないかあるいは両方である fact2: 「あのデータ値は宗教人であるがそれは共鳴し易くない」ということは成り立たない fact3: 仮にある物は納得し難くないとすれば表現し難くないかまたは気忙しくないか両方だ fact4: あのデータ値は転げ出すかあるいは表現し難くない fact5: もし仮に何かは白木クインテットであるということはないならば共鳴し易いし宗教人だ fact6: 「愛らしいかあるいはＢマンションでないかあるいは両方な」ものはある fact7: もしとあるものが表現し難くないか気忙しいということはないならそれは気忙しくない fact8: 仮に「あのデータ値は氏光でなくて御早くない」ということは成り立たないとすればそれは白木クインテットでない fact9: あのデータ値は表現し難いかまたはそれは起き易くないかまたは両方ともである fact10: あのデータ値は納得し難いかあるいは表現し難い fact11: なんらかのものは納得し難いかまたはそれは表現し難いか両方である fact12: 「「あのデータ値は氏光でなくて更にそれは御早くない」ということは成り立つ」ということは成り立たない fact13: あのデータ値は生産水準であるかそれは納得し難いということはないかまたは両方ともである fact14: 「「あの篦鮒釣りは表現し難くない」ということは真実でない」ということは確かだ fact15: あのデータ値は納得し難い
fact15 -> int1: あのデータ値は納得し難いかまたはそれは表現し難いということはないかあるいはどちらもだ; int1 -> hypothesis;
fact15 -> int1: ({A}{a} v ¬{B}{a}); int1 -> hypothesis;
あの学位は著しいかもしくは表現し難くないかまたは両方ともだ
fact17 -> int2: 仮にあの学位が納得し難いなら著しいかもしくは表現し難いということはないかどちらもだ; fact19 -> int3: もし仮にあのデータ値が白木クインテットでないとしたらそれは共鳴し易くてかつそれは宗教人である; fact16 & fact18 -> int4: 「あのデータ値は白木クインテットでない」ということは事実である; int3 & int4 -> int5: あのデータ値は共鳴し易いしそれは宗教人である; int5 -> int6: あのデータ値は宗教人だ; int6 -> int7: あのデータ値は納得し難いかそれは宗教人だ; int7 -> int8: 「納得し難いかあるいは宗教人である」ものはある;
$facts$ = fact1: 仮になにかは納得し難いなら著しいかまたは表現し難くないかあるいは両方である fact2: 「あのデータ値は宗教人であるがそれは共鳴し易くない」ということは成り立たない fact3: 仮にある物は納得し難くないとすれば表現し難くないかまたは気忙しくないか両方だ fact4: あのデータ値は転げ出すかあるいは表現し難くない fact5: もし仮に何かは白木クインテットであるということはないならば共鳴し易いし宗教人だ fact6: 「愛らしいかあるいはＢマンションでないかあるいは両方な」ものはある fact7: もしとあるものが表現し難くないか気忙しいということはないならそれは気忙しくない fact8: 仮に「あのデータ値は氏光でなくて御早くない」ということは成り立たないとすればそれは白木クインテットでない fact9: あのデータ値は表現し難いかまたはそれは起き易くないかまたは両方ともである fact10: あのデータ値は納得し難いかあるいは表現し難い fact11: なんらかのものは納得し難いかまたはそれは表現し難いか両方である fact12: 「「あのデータ値は氏光でなくて更にそれは御早くない」ということは成り立つ」ということは成り立たない fact13: あのデータ値は生産水準であるかそれは納得し難いということはないかまたは両方ともである fact14: 「「あの篦鮒釣りは表現し難くない」ということは真実でない」ということは確かだ fact15: あのデータ値は納得し難い ; $hypothesis$ = 「納得し難いかもしくは表現し難いということはない物はある」ということは真実であるということはない ; $proof$ = 
fact15 -> int1: あのデータ値は納得し難いかまたはそれは表現し難いということはないかあるいはどちらもだ; int1 -> hypothesis; __DISPROVED__
事実1: 仮になにかは納得し難いなら著しいかまたは表現し難くないかあるいは両方である
事実2: 「あのデータ値は宗教人であるがそれは共鳴し易くない」ということは成り立たない
事実3: 仮にある物は納得し難くないとすれば表現し難くないかまたは気忙しくないか両方だ
事実4: あのデータ値は転げ出すかあるいは表現し難くない
事実5: もし仮に何かは白木クインテットであるということはないならば共鳴し易いし宗教人だ
事実6: 「愛らしいかあるいはＢマンションでないかあるいは両方な」ものはある
事実7: もしとあるものが表現し難くないか気忙しいということはないならそれは気忙しくない
事実8: 仮に「あのデータ値は氏光でなくて御早くない」ということは成り立たないとすればそれは白木クインテットでない
事実9: あのデータ値は表現し難いかまたはそれは起き易くないかまたは両方ともである
事実10: あのデータ値は納得し難いかあるいは表現し難い
事実11: なんらかのものは納得し難いかまたはそれは表現し難いか両方である
事実12: 「「あのデータ値は氏光でなくて更にそれは御早くない」ということは成り立つ」ということは成り立たない
事実13: あのデータ値は生産水準であるかそれは納得し難いということはないかまたは両方ともである
事実14: 「「あの篦鮒釣りは表現し難くない」ということは真実でない」ということは確かだ
事実15: あのデータ値は納得し難い

仮説: 「納得し難いかもしくは表現し難いということはない物はある」ということは真実であるということはない
1. 事実15から、推論1: "あのデータ値は納得し難いかまたはそれは表現し難いということはないかあるいはどちらもだ"が導かれる
2. 推論1から、仮説が否定される

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