この当廟は傾かないかまたは万有引力であるということはない
fact1: もし「通じ難くない」物があるならばあの同棲生活は薬臭いしさらに傾く fact2: あの予断排除は有り難しない fact3: あの予断排除は解党的改革だということはないとすると「この当廟は傾かないかもしくはそれは万有引力でない」ということは事実だ fact4: あの予断排除は空しい fact5: あの予断排除は大差無い fact6: 仮にあの予断排除は万有引力なら「この当廟は傾かないかあるいは万有引力でないかもしくはどちらもだ」ということは成り立つということはない fact7: もしもこのブロッコリーは有り難しならば「あの予断排除は伴い易くないけれど解党的改革である」ということは事実だということはない fact8: あの予断排除は発言出来る fact9: あの予断排除は解党的改革だ fact10: もしもあの予断排除が万有引力だとすればあの当廟は万有引力である fact11: もしあの同棲生活は万有引力で加えて伴い易いとすればそれは解党的改革でない fact12: 「あの同棲生活は有り難し」ということは確かだ fact13: この当廟は伴い易い一方で吸収し易くない fact14: 「薬臭い物は伴い易い」ということは事実である fact15: もしもあの予断排除は伴い易いなら「この当廟は万有引力であるということはないか伴い易くないかまたは両方である」ということは間違いだ fact16: この当廟は万有引力だが解党的改革でない fact17: この当廟は万有引力だ fact18: もしもあの予断排除は伴い易いがしかし万有引力でないとするとそれは有り難し fact19: 仮に「この九十五年以前は通じ難い一方で有り難しということはない」ということは間違いであるとするとこのブロッコリーは有り難し fact20: 「あの予断排除は解党的改革で伴い易い」ということは真実だ fact21: もしもなにかは解党的改革でないなら「それは権利範囲でないかあるいはそれは調味液でない」ということは成り立たない fact22: もし仮にあの予断排除は発言出来るし大差無いとしたら通じ難くない
fact20 -> int1: あの予断排除は伴い易い; void -> assump1: 以下のように仮定する。あの予断排除は万有引力でない; int1 & assump1 -> int2: あの予断排除は伴い易いけれど万有引力でない; int2 & fact18 -> int3: あの予断排除は有り難し; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの予断排除は万有引力である」ということは成り立つ; int5 & fact6 -> hypothesis;
「あの同棲生活は権利範囲でないかまたは調味液でないかどちらもだ」ということは成り立たない
fact27 -> int6: 「もしあの同棲生活は解党的改革でないとすれば「あの同棲生活は権利範囲でないか調味液でないか両方ともだ」ということは間違っている」ということは本当だ; fact30 -> int7: もしあの同棲生活は薬臭いとしたら「伴い易い」ということは本当だ; fact28 & fact26 -> int8: あの予断排除は発言出来るし更に大差無い; fact24 & int8 -> int9: 「あの予断排除は通じ難いということはない」ということは真実である; int9 -> int10: 「「通じ難くない」ということは事実な」ものはある; int10 & fact25 -> int11: あの同棲生活は薬臭くて更に傾く; int11 -> int12: あの同棲生活は薬臭い; int7 & int12 -> int13: あの同棲生活は伴い易い;
$facts$ = fact1: もし「通じ難くない」物があるならばあの同棲生活は薬臭いしさらに傾く fact2: あの予断排除は有り難しない fact3: あの予断排除は解党的改革だということはないとすると「この当廟は傾かないかもしくはそれは万有引力でない」ということは事実だ fact4: あの予断排除は空しい fact5: あの予断排除は大差無い fact6: 仮にあの予断排除は万有引力なら「この当廟は傾かないかあるいは万有引力でないかもしくはどちらもだ」ということは成り立つということはない fact7: もしもこのブロッコリーは有り難しならば「あの予断排除は伴い易くないけれど解党的改革である」ということは事実だということはない fact8: あの予断排除は発言出来る fact9: あの予断排除は解党的改革だ fact10: もしもあの予断排除が万有引力だとすればあの当廟は万有引力である fact11: もしあの同棲生活は万有引力で加えて伴い易いとすればそれは解党的改革でない fact12: 「あの同棲生活は有り難し」ということは確かだ fact13: この当廟は伴い易い一方で吸収し易くない fact14: 「薬臭い物は伴い易い」ということは事実である fact15: もしもあの予断排除は伴い易いなら「この当廟は万有引力であるということはないか伴い易くないかまたは両方である」ということは間違いだ fact16: この当廟は万有引力だが解党的改革でない fact17: この当廟は万有引力だ fact18: もしもあの予断排除は伴い易いがしかし万有引力でないとするとそれは有り難し fact19: 仮に「この九十五年以前は通じ難い一方で有り難しということはない」ということは間違いであるとするとこのブロッコリーは有り難し fact20: 「あの予断排除は解党的改革で伴い易い」ということは真実だ fact21: もしもなにかは解党的改革でないなら「それは権利範囲でないかあるいはそれは調味液でない」ということは成り立たない fact22: もし仮にあの予断排除は発言出来るし大差無いとしたら通じ難くない ; $hypothesis$ = この当廟は傾かないかまたは万有引力であるということはない ; $proof$ = 
fact20 -> int1: あの予断排除は伴い易い; void -> assump1: 以下のように仮定する。あの予断排除は万有引力でない; int1 & assump1 -> int2: あの予断排除は伴い易いけれど万有引力でない; int2 & fact18 -> int3: あの予断排除は有り難し; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの予断排除は万有引力である」ということは成り立つ; int5 & fact6 -> hypothesis; __DISPROVED__
事実1: もし「通じ難くない」物があるならばあの同棲生活は薬臭いしさらに傾く
事実2: あの予断排除は有り難しない
事実3: あの予断排除は解党的改革だということはないとすると「この当廟は傾かないかもしくはそれは万有引力でない」ということは事実だ
事実4: あの予断排除は空しい
事実5: あの予断排除は大差無い
事実6: 仮にあの予断排除は万有引力なら「この当廟は傾かないかあるいは万有引力でないかもしくはどちらもだ」ということは成り立つということはない
事実7: もしもこのブロッコリーは有り難しならば「あの予断排除は伴い易くないけれど解党的改革である」ということは事実だということはない
事実8: あの予断排除は発言出来る
事実9: あの予断排除は解党的改革だ
事実10: もしもあの予断排除が万有引力だとすればあの当廟は万有引力である
事実11: もしあの同棲生活は万有引力で加えて伴い易いとすればそれは解党的改革でない
事実12: 「あの同棲生活は有り難し」ということは確かだ
事実13: この当廟は伴い易い一方で吸収し易くない
事実14: 「薬臭い物は伴い易い」ということは事実である
事実15: もしもあの予断排除は伴い易いなら「この当廟は万有引力であるということはないか伴い易くないかまたは両方である」ということは間違いだ
事実16: この当廟は万有引力だが解党的改革でない
事実17: この当廟は万有引力だ
事実18: もしもあの予断排除は伴い易いがしかし万有引力でないとするとそれは有り難し
事実19: 仮に「この九十五年以前は通じ難い一方で有り難しということはない」ということは間違いであるとするとこのブロッコリーは有り難し
事実20: 「あの予断排除は解党的改革で伴い易い」ということは真実だ
事実21: もしもなにかは解党的改革でないなら「それは権利範囲でないかあるいはそれは調味液でない」ということは成り立たない
事実22: もし仮にあの予断排除は発言出来るし大差無いとしたら通じ難くない

仮説: この当廟は傾かないかまたは万有引力であるということはない
1. 事実20から、推論1: "あの予断排除は伴い易い"が導かれる
2. 仮定1: 以下のように仮定する。あの予断排除は万有引力でない
3. 推論1と仮定1から、推論2: "あの予断排除は伴い易いけれど万有引力でない"が導かれる
4. 推論2と事実18から、推論3: "あの予断排除は有り難し"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの予断排除は万有引力である」ということは成り立つ"が導かれる
7. 推論5と事実6から、仮説が否定される

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