この精神機能領域は出資財産である
fact1: もしもこの修理跡が移ろい易いなら外務省員だ fact2: 「あの乗客・乗員は尽力する」ということは事実だ fact3: 外務省員は最上層部だ fact4: このドジャースは出資財産でない fact5: このドジャースは尽力する fact6: もし「その礫は立地移動であるかあるいはオルホン河畔であるということはない」ということは間違っているならそれは捨て難い fact7: あの搬送路は尽力する fact8: 「もし仮にこのドジャースが尽力するとすればこのドジャースは移ろい易い」ということは成り立つ fact9: もし仮にこのドジャースが出資財産だとしたら移ろい易い fact10: もしも「この精神機能領域は移ろい易い」ということは正しいとすればそれは出資財産である fact11: あの乗客・乗員は移ろい易い fact12: もしこのドジャースは想像し易いなら「移ろい易い」ということは本当だ fact13: 仮にその礫は従属しないとすれば「それは立地移動であるかそれはオルホン河畔でないかまたはどちらもである」ということは間違いである fact14: 仮にあの乗客・乗員が最上層部でないとすればこの修理跡は想像し易いし加えてそれは移ろい易い fact15: もしもこの修理跡が想像し易くて最上層部であるならば「この精神機能領域は出資財産でない」ということは確かだ fact16: もしその礫が捨て難いならあの当該株式は外務省員でないかもしくは最上層部であるということはない fact17: このドジャースが移ろい易いとしたらこの修理跡は想像し易い fact18: このドジャースが尽力しないかあるいは出資財産だとしたらこの精神機能領域は出資財産である fact19: このドジャースは最上層部である fact20: もし仮にあの乗客・乗員が捨て難いならばあの修理跡は外務省員だ fact21: あの乗客・乗員は捨て難い fact22: この精神機能領域は外務省員である fact23: その礫は従属しない
fact8 & fact5 -> int1: このドジャースは移ろい易い; int1 & fact17 -> int2: この修理跡は想像し易い; fact21 & fact20 -> int3: この修理跡は外務省員である; fact3 -> int4: もし仮にこの修理跡は外務省員であるならそれは最上層部である; int3 & int4 -> int5: この修理跡は最上層部である; int2 & int5 -> int6: 「この修理跡は想像し易いしさらに最上層部である」ということは本当だ; int6 & fact15 -> hypothesis;
この精神機能領域は出資財産である
fact29 & fact26 -> int7: 「その礫は立地移動であるかまたはオルホン河畔でないかまたは両方ともだ」ということは間違っている; fact28 & int7 -> int8: その礫は捨て難い; fact27 & int8 -> int9: あの当該株式は外務省員でないかまたは最上層部でない;
$facts$ = fact1: もしもこの修理跡が移ろい易いなら外務省員だ fact2: 「あの乗客・乗員は尽力する」ということは事実だ fact3: 外務省員は最上層部だ fact4: このドジャースは出資財産でない fact5: このドジャースは尽力する fact6: もし「その礫は立地移動であるかあるいはオルホン河畔であるということはない」ということは間違っているならそれは捨て難い fact7: あの搬送路は尽力する fact8: 「もし仮にこのドジャースが尽力するとすればこのドジャースは移ろい易い」ということは成り立つ fact9: もし仮にこのドジャースが出資財産だとしたら移ろい易い fact10: もしも「この精神機能領域は移ろい易い」ということは正しいとすればそれは出資財産である fact11: あの乗客・乗員は移ろい易い fact12: もしこのドジャースは想像し易いなら「移ろい易い」ということは本当だ fact13: 仮にその礫は従属しないとすれば「それは立地移動であるかそれはオルホン河畔でないかまたはどちらもである」ということは間違いである fact14: 仮にあの乗客・乗員が最上層部でないとすればこの修理跡は想像し易いし加えてそれは移ろい易い fact15: もしもこの修理跡が想像し易くて最上層部であるならば「この精神機能領域は出資財産でない」ということは確かだ fact16: もしその礫が捨て難いならあの当該株式は外務省員でないかもしくは最上層部であるということはない fact17: このドジャースが移ろい易いとしたらこの修理跡は想像し易い fact18: このドジャースが尽力しないかあるいは出資財産だとしたらこの精神機能領域は出資財産である fact19: このドジャースは最上層部である fact20: もし仮にあの乗客・乗員が捨て難いならばあの修理跡は外務省員だ fact21: あの乗客・乗員は捨て難い fact22: この精神機能領域は外務省員である fact23: その礫は従属しない ; $hypothesis$ = この精神機能領域は出資財産である ; $proof$ = 
fact8 & fact5 -> int1: このドジャースは移ろい易い; int1 & fact17 -> int2: この修理跡は想像し易い; fact21 & fact20 -> int3: この修理跡は外務省員である; fact3 -> int4: もし仮にこの修理跡は外務省員であるならそれは最上層部である; int3 & int4 -> int5: この修理跡は最上層部である; int2 & int5 -> int6: 「この修理跡は想像し易いしさらに最上層部である」ということは本当だ; int6 & fact15 -> hypothesis; __DISPROVED__
事実1: もしもこの修理跡が移ろい易いなら外務省員だ
事実2: 「あの乗客・乗員は尽力する」ということは事実だ
事実3: 外務省員は最上層部だ
事実4: このドジャースは出資財産でない
事実5: このドジャースは尽力する
事実6: もし「その礫は立地移動であるかあるいはオルホン河畔であるということはない」ということは間違っているならそれは捨て難い
事実7: あの搬送路は尽力する
事実8: 「もし仮にこのドジャースが尽力するとすればこのドジャースは移ろい易い」ということは成り立つ
事実9: もし仮にこのドジャースが出資財産だとしたら移ろい易い
事実10: もしも「この精神機能領域は移ろい易い」ということは正しいとすればそれは出資財産である
事実11: あの乗客・乗員は移ろい易い
事実12: もしこのドジャースは想像し易いなら「移ろい易い」ということは本当だ
事実13: 仮にその礫は従属しないとすれば「それは立地移動であるかそれはオルホン河畔でないかまたはどちらもである」ということは間違いである
事実14: 仮にあの乗客・乗員が最上層部でないとすればこの修理跡は想像し易いし加えてそれは移ろい易い
事実15: もしもこの修理跡が想像し易くて最上層部であるならば「この精神機能領域は出資財産でない」ということは確かだ
事実16: もしその礫が捨て難いならあの当該株式は外務省員でないかもしくは最上層部であるということはない
事実17: このドジャースが移ろい易いとしたらこの修理跡は想像し易い
事実18: このドジャースが尽力しないかあるいは出資財産だとしたらこの精神機能領域は出資財産である
事実19: このドジャースは最上層部である
事実20: もし仮にあの乗客・乗員が捨て難いならばあの修理跡は外務省員だ
事実21: あの乗客・乗員は捨て難い
事実22: この精神機能領域は外務省員である
事実23: その礫は従属しない

仮説: この精神機能領域は出資財産である
1. 事実8と事実5から、推論1: "このドジャースは移ろい易い"が導かれる
2. 推論1と事実17から、推論2: "この修理跡は想像し易い"が導かれる
3. 事実21と事実20から、推論3: "この修理跡は外務省員である"が導かれる
4. 事実3から、推論4: "もし仮にこの修理跡は外務省員であるならそれは最上層部である"が導かれる
5. 推論3と推論4から、推論5: "この修理跡は最上層部である"が導かれる
6. 推論2と推論5から、推論6: "「この修理跡は想像し易いしさらに最上層部である」ということは本当だ"が導かれる
7. 推論6と事実15から、仮説が否定される

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