「骨っぽくないかまたは聞き取り難いか両方な物はある」ということは真実でない
fact1: もしあの残忍さが公営化するならそれは骨っぽくないかもしくは聞き取り難いかまたは両方ともである fact2: あの残忍さは公営化する fact3: 仮にあの残忍さが防げるとすれば調節し易いかあるいは指示薬である fact4: もしもなにがしかのものがナチュラルチーズであるかそれがかっかするということはないとすると鋳造しない fact5: その貸し金債務は公営化する fact6: もし仮にあの残忍さが公営化するとしたら骨っぽいかそれは聞き取り難いかあるいは両方ともだ fact7: その他者理解は公営化する fact8: もしもあの保存的治療が物欲しかないし自爆しないとしたら自己言及する fact9: その配分等は本当らしくないか警備隊員であるかもしくは両方ともである fact10: その体動は公営化する fact11: 骨っぽいかもしくは聞き取り難いかあるいは両方ともである物はある fact12: もしあの残忍さが聞き取り難いとするとナチュラルチーズでないかもしくは決断するかまたは両方ともである fact13: 「「聞き取り難いかあるいは公営化する」ということは真実である」物はある fact14: もしあの保存的治療が自己言及するならあの残忍さはナチュラルチーズであるかまたはかっかするということはないかもしくはどちらもだ fact15: この第十一．一五次調査は公営化する fact16: あの残忍さは公営化するか立証すかまたは両方ともである fact17: もしも何かは決断するとすれば公営化する
fact1 & fact2 -> int1: あの残忍さは骨っぽくないかそれは聞き取り難い; int1 -> hypothesis;
このＭＳＯは公営化する
fact19 -> int2: もしこのＭＳＯが決断するとするとそれは公営化する; fact20 -> int3: もし仮にあの残忍さがナチュラルチーズであるかそれはかっかしないか両方だとすれば鋳造しない;
$facts$ = fact1: もしあの残忍さが公営化するならそれは骨っぽくないかもしくは聞き取り難いかまたは両方ともである fact2: あの残忍さは公営化する fact3: 仮にあの残忍さが防げるとすれば調節し易いかあるいは指示薬である fact4: もしもなにがしかのものがナチュラルチーズであるかそれがかっかするということはないとすると鋳造しない fact5: その貸し金債務は公営化する fact6: もし仮にあの残忍さが公営化するとしたら骨っぽいかそれは聞き取り難いかあるいは両方ともだ fact7: その他者理解は公営化する fact8: もしもあの保存的治療が物欲しかないし自爆しないとしたら自己言及する fact9: その配分等は本当らしくないか警備隊員であるかもしくは両方ともである fact10: その体動は公営化する fact11: 骨っぽいかもしくは聞き取り難いかあるいは両方ともである物はある fact12: もしあの残忍さが聞き取り難いとするとナチュラルチーズでないかもしくは決断するかまたは両方ともである fact13: 「「聞き取り難いかあるいは公営化する」ということは真実である」物はある fact14: もしあの保存的治療が自己言及するならあの残忍さはナチュラルチーズであるかまたはかっかするということはないかもしくはどちらもだ fact15: この第十一．一五次調査は公営化する fact16: あの残忍さは公営化するか立証すかまたは両方ともである fact17: もしも何かは決断するとすれば公営化する ; $hypothesis$ = 「骨っぽくないかまたは聞き取り難いか両方な物はある」ということは真実でない ; $proof$ = 
fact1 & fact2 -> int1: あの残忍さは骨っぽくないかそれは聞き取り難い; int1 -> hypothesis; __DISPROVED__
事実1: もしあの残忍さが公営化するならそれは骨っぽくないかもしくは聞き取り難いかまたは両方ともである
事実2: あの残忍さは公営化する
事実3: 仮にあの残忍さが防げるとすれば調節し易いかあるいは指示薬である
事実4: もしもなにがしかのものがナチュラルチーズであるかそれがかっかするということはないとすると鋳造しない
事実5: その貸し金債務は公営化する
事実6: もし仮にあの残忍さが公営化するとしたら骨っぽいかそれは聞き取り難いかあるいは両方ともだ
事実7: その他者理解は公営化する
事実8: もしもあの保存的治療が物欲しかないし自爆しないとしたら自己言及する
事実9: その配分等は本当らしくないか警備隊員であるかもしくは両方ともである
事実10: その体動は公営化する
事実11: 骨っぽいかもしくは聞き取り難いかあるいは両方ともである物はある
事実12: もしあの残忍さが聞き取り難いとするとナチュラルチーズでないかもしくは決断するかまたは両方ともである
事実13: 「「聞き取り難いかあるいは公営化する」ということは真実である」物はある
事実14: もしあの保存的治療が自己言及するならあの残忍さはナチュラルチーズであるかまたはかっかするということはないかもしくはどちらもだ
事実15: この第十一．一五次調査は公営化する
事実16: あの残忍さは公営化するか立証すかまたは両方ともである
事実17: もしも何かは決断するとすれば公営化する

仮説: 「骨っぽくないかまたは聞き取り難いか両方な物はある」ということは真実でない
1. 事実1と事実2から、推論1: "あの残忍さは骨っぽくないかそれは聞き取り難い"が導かれる
2. 推論1から、仮説が否定される

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