その原審はシンボリックリンクでない
fact1: もしとあるものがクレームするとしたら消化吸収され易いということはない fact2: 「その原審は化石化する」ということは成り立つ fact3: もしもなにがしかのものが手入れすればシンボリックリンクでない fact4: もし仮に「その幽体は詰め物でないか黒さでないかあるいは両方ともである」ということは間違っているとするとそれは嘘っぽい fact5: もし「なんらかのものは生き難くないし化石化しない」ということは誤っているなら手入れしない fact6: とある物が仲直りしないとすれば化石化するかまたはシンボリックリンクであるか両方である fact7: 仮に「何らかの物は供えないし会い成らない」ということは成り立たないとしたら仲直りするということはない fact8: 「「その原審は生き難くないけれど手入れする」ということは偽である」ということは確かだ fact9: もし仮にとある物が共起するとしたらそれは切り払うということはない fact10: もし仮に「「なにがしかのものは生き難くないし加えて手入れしない」ということは成り立つ」ということは誤りだとするとシンボリックリンクでない fact11: 「あの昆布は生き難くない」ということは真実だ fact12: もし仮にその原審はしょであるならば「商店街でない」ということは正しい fact13: もし仮に「なんらかのものは手入れする」ということは嘘だということはないとすれば化石化しない fact14: もしその原審は化石化するなら「生き難くなくてそれに手入れしない」ということは成り立たない fact15: 仮にその原審は華氏であるとすると「それは交付するけれど広まり始めない」ということは成り立たない fact16: 「この墓守は化石化する」ということは成り立つ fact17: 「この再起は失い始めるけどシンボリックリンクでない」ということは成り立たない fact18: もしその原審がややこしいとしたらされ易くない fact19: 「その原審は一本釣りだがしかしペイオフしない」ということは成り立たない fact20: その第三部以降は手入れする fact21: もし「その幽体は嘘っぽい」ということは真実であるとしたら「供えないしそれに会い成らない」ということは成り立つということはない
fact10 -> int1: 「その原審は生き難くないし加えて手入れするということはない」ということは本当でないとしたらそれはシンボリックリンクでない; fact2 & fact14 -> int2: 「その原審は生き難くなくてそれは手入れしない」ということは間違いだ; int1 & int2 -> hypothesis;
その原審はシンボリックリンクである
fact22 -> int3: もし「その幽体は仲直りしない」ということは成り立てば化石化するかもしくはシンボリックリンクであるかあるいは両方ともである; fact25 -> int4: 「「その幽体は供えるということはなくてそれは会い成るということはない」ということは成り立つ」ということは成り立たないとすれば仲直りしない;
$facts$ = fact1: もしとあるものがクレームするとしたら消化吸収され易いということはない fact2: 「その原審は化石化する」ということは成り立つ fact3: もしもなにがしかのものが手入れすればシンボリックリンクでない fact4: もし仮に「その幽体は詰め物でないか黒さでないかあるいは両方ともである」ということは間違っているとするとそれは嘘っぽい fact5: もし「なんらかのものは生き難くないし化石化しない」ということは誤っているなら手入れしない fact6: とある物が仲直りしないとすれば化石化するかまたはシンボリックリンクであるか両方である fact7: 仮に「何らかの物は供えないし会い成らない」ということは成り立たないとしたら仲直りするということはない fact8: 「「その原審は生き難くないけれど手入れする」ということは偽である」ということは確かだ fact9: もし仮にとある物が共起するとしたらそれは切り払うということはない fact10: もし仮に「「なにがしかのものは生き難くないし加えて手入れしない」ということは成り立つ」ということは誤りだとするとシンボリックリンクでない fact11: 「あの昆布は生き難くない」ということは真実だ fact12: もし仮にその原審はしょであるならば「商店街でない」ということは正しい fact13: もし仮に「なんらかのものは手入れする」ということは嘘だということはないとすれば化石化しない fact14: もしその原審は化石化するなら「生き難くなくてそれに手入れしない」ということは成り立たない fact15: 仮にその原審は華氏であるとすると「それは交付するけれど広まり始めない」ということは成り立たない fact16: 「この墓守は化石化する」ということは成り立つ fact17: 「この再起は失い始めるけどシンボリックリンクでない」ということは成り立たない fact18: もしその原審がややこしいとしたらされ易くない fact19: 「その原審は一本釣りだがしかしペイオフしない」ということは成り立たない fact20: その第三部以降は手入れする fact21: もし「その幽体は嘘っぽい」ということは真実であるとしたら「供えないしそれに会い成らない」ということは成り立つということはない ; $hypothesis$ = その原審はシンボリックリンクでない ; $proof$ = 
fact10 -> int1: 「その原審は生き難くないし加えて手入れするということはない」ということは本当でないとしたらそれはシンボリックリンクでない; fact2 & fact14 -> int2: 「その原審は生き難くなくてそれは手入れしない」ということは間違いだ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしとあるものがクレームするとしたら消化吸収され易いということはない
事実2: 「その原審は化石化する」ということは成り立つ
事実3: もしもなにがしかのものが手入れすればシンボリックリンクでない
事実4: もし仮に「その幽体は詰め物でないか黒さでないかあるいは両方ともである」ということは間違っているとするとそれは嘘っぽい
事実5: もし「なんらかのものは生き難くないし化石化しない」ということは誤っているなら手入れしない
事実6: とある物が仲直りしないとすれば化石化するかまたはシンボリックリンクであるか両方である
事実7: 仮に「何らかの物は供えないし会い成らない」ということは成り立たないとしたら仲直りするということはない
事実8: 「「その原審は生き難くないけれど手入れする」ということは偽である」ということは確かだ
事実9: もし仮にとある物が共起するとしたらそれは切り払うということはない
事実10: もし仮に「「なにがしかのものは生き難くないし加えて手入れしない」ということは成り立つ」ということは誤りだとするとシンボリックリンクでない
事実11: 「あの昆布は生き難くない」ということは真実だ
事実12: もし仮にその原審はしょであるならば「商店街でない」ということは正しい
事実13: もし仮に「なんらかのものは手入れする」ということは嘘だということはないとすれば化石化しない
事実14: もしその原審は化石化するなら「生き難くなくてそれに手入れしない」ということは成り立たない
事実15: 仮にその原審は華氏であるとすると「それは交付するけれど広まり始めない」ということは成り立たない
事実16: 「この墓守は化石化する」ということは成り立つ
事実17: 「この再起は失い始めるけどシンボリックリンクでない」ということは成り立たない
事実18: もしその原審がややこしいとしたらされ易くない
事実19: 「その原審は一本釣りだがしかしペイオフしない」ということは成り立たない
事実20: その第三部以降は手入れする
事実21: もし「その幽体は嘘っぽい」ということは真実であるとしたら「供えないしそれに会い成らない」ということは成り立つということはない

仮説: その原審はシンボリックリンクでない
1. 事実10から、推論1: "「その原審は生き難くないし加えて手入れするということはない」ということは本当でないとしたらそれはシンボリックリンクでない"が導かれる
2. 事実2と事実14から、推論2: "「その原審は生き難くなくてそれは手入れしない」ということは間違いだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。