「この石経は冷却しなくてその上それは共同主観的構造でない」ということは真実でない
fact1: 「あの活動基盤はスポーツマンらしいということはないかもしくは前鋸筋であるかあるいは両方ともである」ということは嘘だ fact2: もしもあの活動基盤が世界化するならそれはがくがくする fact3: この石経は受け入れる fact4: 何かは正式メンバーでないかまたは見え易い fact5: もしなにがしかの物が世界化するとするとそれは受け入れる fact6: もしこのペプチド鎖が捨て難くないならばこの沖縄人は見え易くておまけにがくがくする fact7: あの活動基盤は世界化する fact8: 「「正式メンバーであるかあるいは見え易いかあるいはどちらもだ」ということは成り立たない」ものはある fact9: もし仮にその日本本土空襲は正式メンバーでないとしたら「世界化するしまたそれは捨て難い」ということは真実でない fact10: もしあの活動基盤は捨て難いなら「この沖縄人は正式メンバーだということはないかまたは見え易いかまたはどちらもである」ということは誤りだ fact11: 「「熱し易くないか上式であるかどちらもだ」ということは真実でない」物はある fact12: あるものは正式メンバーである fact13: そのロッド部分は世界化する fact14: 「とある物は見え易いということはない」ということは事実だ fact15: この沖縄人はがくがくするとすると「あの活動基盤は世界化するということはないかまたは正式メンバーだ」ということは嘘だ fact16: 「「正式メンバーであるということはないかまたは見え易いかあるいは両方ともだ」ということは成り立たない」ものがあればこの石経は冷却しない fact17: そのＡＲＭＡは受け入れる fact18: もし「あの活動基盤は捨て難い」ということは確かだとすればこの沖縄人は見え易いということはない fact19: この石経は破れ難いということはない fact20: もし仮にこの沖縄人はがくがくするとすれば「この石経は冷却しなくてそれは共同主観的構造でない」ということは事実と異なる fact21: もしあの活動基盤が捨て難いならば受け入れる fact22: 「この沖縄人は見え易くない」ということは本当である fact23: もし仮にこの石経が受け入れるとしたらそれは共同主観的構造だということはない fact24: もし仮になにがしかのものががくがくすれば捨て難い
fact24 -> int1: 「あの活動基盤ががくがくするとしたらあの活動基盤は捨て難い」ということは本当である; fact7 & fact2 -> int2: あの活動基盤はがくがくする; int1 & int2 -> int3: あの活動基盤は捨て難い; int3 & fact10 -> int4: 「この沖縄人は正式メンバーであるということはないか見え易いかまたはどちらもだ」ということは成り立たない; int4 -> int5: 「「正式メンバーでないかまたは見え易いかまたはどちらもである」ということは偽である」ものはある; int5 & fact16 -> int6: この石経は冷却しない; fact3 & fact23 -> int7: この石経は共同主観的構造でない; int6 & int7 -> hypothesis;
「「「この石経は冷却しないしおまけに共同主観的構造でない」ということは成り立つ」ということは成り立たない」ということは成り立つ
$facts$ = fact1: 「あの活動基盤はスポーツマンらしいということはないかもしくは前鋸筋であるかあるいは両方ともである」ということは嘘だ fact2: もしもあの活動基盤が世界化するならそれはがくがくする fact3: この石経は受け入れる fact4: 何かは正式メンバーでないかまたは見え易い fact5: もしなにがしかの物が世界化するとするとそれは受け入れる fact6: もしこのペプチド鎖が捨て難くないならばこの沖縄人は見え易くておまけにがくがくする fact7: あの活動基盤は世界化する fact8: 「「正式メンバーであるかあるいは見え易いかあるいはどちらもだ」ということは成り立たない」ものはある fact9: もし仮にその日本本土空襲は正式メンバーでないとしたら「世界化するしまたそれは捨て難い」ということは真実でない fact10: もしあの活動基盤は捨て難いなら「この沖縄人は正式メンバーだということはないかまたは見え易いかまたはどちらもである」ということは誤りだ fact11: 「「熱し易くないか上式であるかどちらもだ」ということは真実でない」物はある fact12: あるものは正式メンバーである fact13: そのロッド部分は世界化する fact14: 「とある物は見え易いということはない」ということは事実だ fact15: この沖縄人はがくがくするとすると「あの活動基盤は世界化するということはないかまたは正式メンバーだ」ということは嘘だ fact16: 「「正式メンバーであるということはないかまたは見え易いかあるいは両方ともだ」ということは成り立たない」ものがあればこの石経は冷却しない fact17: そのＡＲＭＡは受け入れる fact18: もし「あの活動基盤は捨て難い」ということは確かだとすればこの沖縄人は見え易いということはない fact19: この石経は破れ難いということはない fact20: もし仮にこの沖縄人はがくがくするとすれば「この石経は冷却しなくてそれは共同主観的構造でない」ということは事実と異なる fact21: もしあの活動基盤が捨て難いならば受け入れる fact22: 「この沖縄人は見え易くない」ということは本当である fact23: もし仮にこの石経が受け入れるとしたらそれは共同主観的構造だということはない fact24: もし仮になにがしかのものががくがくすれば捨て難い ; $hypothesis$ = 「この石経は冷却しなくてその上それは共同主観的構造でない」ということは真実でない ; $proof$ = 
fact24 -> int1: 「あの活動基盤ががくがくするとしたらあの活動基盤は捨て難い」ということは本当である; fact7 & fact2 -> int2: あの活動基盤はがくがくする; int1 & int2 -> int3: あの活動基盤は捨て難い; int3 & fact10 -> int4: 「この沖縄人は正式メンバーであるということはないか見え易いかまたはどちらもだ」ということは成り立たない; int4 -> int5: 「「正式メンバーでないかまたは見え易いかまたはどちらもである」ということは偽である」ものはある; int5 & fact16 -> int6: この石経は冷却しない; fact3 & fact23 -> int7: この石経は共同主観的構造でない; int6 & int7 -> 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: もし仮にこの石経が受け入れるとしたらそれは共同主観的構造だということはない
事実24: もし仮になにがしかのものががくがくすれば捨て難い

仮説: 「この石経は冷却しなくてその上それは共同主観的構造でない」ということは真実でない
1. 事実24から、推論1: "「あの活動基盤ががくがくするとしたらあの活動基盤は捨て難い」ということは本当である"が導かれる
2. 事実7と事実2から、推論2: "あの活動基盤はがくがくする"が導かれる
3. 推論1と推論2から、推論3: "あの活動基盤は捨て難い"が導かれる
4. 推論3と事実10から、推論4: "「この沖縄人は正式メンバーであるということはないか見え易いかまたはどちらもだ」ということは成り立たない"が導かれる
5. 推論4から、推論5: "「「正式メンバーでないかまたは見え易いかまたはどちらもである」ということは偽である」ものはある"が導かれる
6. 推論5と事実16から、推論6: "この石経は冷却しない"が導かれる
7. 事実3と事実23から、推論7: "この石経は共同主観的構造でない"が導かれる
8. 推論6と推論7から、仮説が否定される

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