この文明圏は痩せこけないがしかしそれは通じ易い
fact1: もし仮に「不足し易いということはない」ものはあるとすれば「この文明圏は痩せこけるということはないけれどそれは通じ易い」ということは間違いである fact2: もしもこの来日公演が増加するということはないし更に蘇らないとすれば痩せこける fact3: この蔵は好ましくないか増加しないかまたはどちらもだ fact4: この来日公演は好ましい fact5: この来日公演は増加しなくてかつそれは蘇らない fact6: その青雲堂が見渡すかあるいはそれが建議するとするとこの蔵は加担しない fact7: 「この来日公演は掘り上げないかあるいはそれは埃っぽくないかまたは両方だ」ということは成り立たない fact8: もし仮に「この来日公演は掘り上げないかもしくは埃っぽくないかもしくはどちらもだ」ということは成り立たないなら「その青雲堂は見渡す」ということは成り立つ fact9: 仮に通じ易い物が痩せこけるとしたら呼吸するということはない fact10: もし「加担するということはないしその上呼吸しない」ものがあるならこの最低生活は不足し易くない fact11: もしこの来日公演が見渡せばその青雲堂は群数だがしかしそれは建議するということはない fact12: 仮に何かは好ましくないかまたは増加しないか両方ともであるならそれは呼吸するということはない fact13: もし仮にこの来日公演が好ましいとすれば通じ易い
fact8 & fact7 -> int1: その青雲堂は見渡す; int1 -> int2: その青雲堂は見渡すかまたは建議するか両方だ; int2 & fact6 -> int3: この蔵は加担しない; fact12 -> int4: もし仮にこの蔵が好ましくないかもしくはそれは増加しないかもしくは両方ともであるなら呼吸しない; int4 & fact3 -> int5: 「この蔵は呼吸しない」ということは本当だ; int3 & int5 -> int6: この蔵が加担しないしさらに呼吸しない; int6 -> int7: 「加担するということはなくてしかも呼吸しない」ものはある; int7 & fact10 -> int8: この最低生活は不足し易くない; int8 -> int9: なんらかのものは不足し易くない; int9 & fact1 -> hypothesis;
その青雲堂は群数であるかもしくはそれは不足し易いかもしくは両方ともだ
fact17 -> int10: もしもこの来日公演は通じ易いししかも痩せこけるとするとそれは呼吸しない; fact16 & fact19 -> int11: この来日公演は通じ易い; fact18 & fact15 -> int12: この来日公演は痩せこける; int11 & int12 -> int13: この来日公演は通じ易いしまた痩せこける; int10 & int13 -> int14: この来日公演は呼吸しない;
$facts$ = fact1: もし仮に「不足し易いということはない」ものはあるとすれば「この文明圏は痩せこけるということはないけれどそれは通じ易い」ということは間違いである fact2: もしもこの来日公演が増加するということはないし更に蘇らないとすれば痩せこける fact3: この蔵は好ましくないか増加しないかまたはどちらもだ fact4: この来日公演は好ましい fact5: この来日公演は増加しなくてかつそれは蘇らない fact6: その青雲堂が見渡すかあるいはそれが建議するとするとこの蔵は加担しない fact7: 「この来日公演は掘り上げないかあるいはそれは埃っぽくないかまたは両方だ」ということは成り立たない fact8: もし仮に「この来日公演は掘り上げないかもしくは埃っぽくないかもしくはどちらもだ」ということは成り立たないなら「その青雲堂は見渡す」ということは成り立つ fact9: 仮に通じ易い物が痩せこけるとしたら呼吸するということはない fact10: もし「加担するということはないしその上呼吸しない」ものがあるならこの最低生活は不足し易くない fact11: もしこの来日公演が見渡せばその青雲堂は群数だがしかしそれは建議するということはない fact12: 仮に何かは好ましくないかまたは増加しないか両方ともであるならそれは呼吸するということはない fact13: もし仮にこの来日公演が好ましいとすれば通じ易い ; $hypothesis$ = この文明圏は痩せこけないがしかしそれは通じ易い ; $proof$ = 
fact8 & fact7 -> int1: その青雲堂は見渡す; int1 -> int2: その青雲堂は見渡すかまたは建議するか両方だ; int2 & fact6 -> int3: この蔵は加担しない; fact12 -> int4: もし仮にこの蔵が好ましくないかもしくはそれは増加しないかもしくは両方ともであるなら呼吸しない; int4 & fact3 -> int5: 「この蔵は呼吸しない」ということは本当だ; int3 & int5 -> int6: この蔵が加担しないしさらに呼吸しない; int6 -> int7: 「加担するということはなくてしかも呼吸しない」ものはある; int7 & fact10 -> int8: この最低生活は不足し易くない; int8 -> int9: なんらかのものは不足し易くない; int9 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「不足し易いということはない」ものはあるとすれば「この文明圏は痩せこけるということはないけれどそれは通じ易い」ということは間違いである
事実2: もしもこの来日公演が増加するということはないし更に蘇らないとすれば痩せこける
事実3: この蔵は好ましくないか増加しないかまたはどちらもだ
事実4: この来日公演は好ましい
事実5: この来日公演は増加しなくてかつそれは蘇らない
事実6: その青雲堂が見渡すかあるいはそれが建議するとするとこの蔵は加担しない
事実7: 「この来日公演は掘り上げないかあるいはそれは埃っぽくないかまたは両方だ」ということは成り立たない
事実8: もし仮に「この来日公演は掘り上げないかもしくは埃っぽくないかもしくはどちらもだ」ということは成り立たないなら「その青雲堂は見渡す」ということは成り立つ
事実9: 仮に通じ易い物が痩せこけるとしたら呼吸するということはない
事実10: もし「加担するということはないしその上呼吸しない」ものがあるならこの最低生活は不足し易くない
事実11: もしこの来日公演が見渡せばその青雲堂は群数だがしかしそれは建議するということはない
事実12: 仮に何かは好ましくないかまたは増加しないか両方ともであるならそれは呼吸するということはない
事実13: もし仮にこの来日公演が好ましいとすれば通じ易い

仮説: この文明圏は痩せこけないがしかしそれは通じ易い
1. 事実8と事実7から、推論1: "その青雲堂は見渡す"が導かれる
2. 推論1から、推論2: "その青雲堂は見渡すかまたは建議するか両方だ"が導かれる
3. 推論2と事実6から、推論3: "この蔵は加担しない"が導かれる
4. 事実12から、推論4: "もし仮にこの蔵が好ましくないかもしくはそれは増加しないかもしくは両方ともであるなら呼吸しない"が導かれる
5. 推論4と事実3から、推論5: "「この蔵は呼吸しない」ということは本当だ"が導かれる
6. 推論3と推論5から、推論6: "この蔵が加担しないしさらに呼吸しない"が導かれる
7. 推論6から、推論7: "「加担するということはなくてしかも呼吸しない」ものはある"が導かれる
8. 推論7と事実10から、推論8: "この最低生活は不足し易くない"が導かれる
9. 推論8から、推論9: "なんらかのものは不足し易くない"が導かれる
10. 推論9と事実1から、仮説が否定される

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