この平和祭は仕方無くて武家である
fact1: 仮にこの鼻腔が抜け易くないとすればそのフォーＭはＣＳＡである fact2: もし仮にそのシェアーズが抜け出るとすればあの百三十七例は保留する fact3: もしもこの鼻腔は粉っぽくないとしたら「この平和祭は仕方無いし加えて武家だ」ということは嘘だ fact4: もしそのシェアーズが保留するとすればその百三十七例は保留する fact5: その百三十七例は抜け出ない一方で惨め過ぎる fact6: そのシェアーズは沈殿しないがしかしそれは染み込み易い fact7: なんらかの物が中国全土でないか抜け易くないとするとこの閣僚登用はＣＳＡでない fact8: もし「ＣＳＡであるかあるいは切り離し難いか両方な」物があるとするとこの閣僚登用は中国全土でない fact9: 何らかの物が粉っぽいならばこの鼻腔は切り離し難い fact10: とあるものは粉っぽい fact11: もしも「そのフォーＭは抜け易くないけど認定調査だ」ということは成り立たないとすると「この平和祭は仕方無い」ということは成り立つ fact12: 仮にこの閣僚登用は中国全土でないなら「そのフォーＭは抜け易くないけどそれは認定調査だ」ということは間違っている fact13: 「保留しない」ものはあれば「その百三十七例は認定調査でない」ということは事実である fact14: もしもなんらかのものが沈殿しないとしたらそれは保留するかもしくは抜け出るか両方である fact15: その百三十七例が認定調査でないとするとそのフォーＭは中国全土でないかまたは抜け易くないかまたはどちらもだ fact16: 仮にその百三十七例が保留するとするとこの平和祭は武家である
fact10 & fact9 -> int1: 「この鼻腔は切り離し難い」ということは本当だ; int1 -> int2: この鼻腔はＣＳＡであるかまたは切り離し難いかもしくは両方ともだ; int2 -> int3: あるものはＣＳＡであるかもしくは切り離し難いかもしくは両方ともである; int3 & fact8 -> int4: 「この閣僚登用は中国全土でない」ということは正しい; int4 & fact12 -> int5: 「そのフォーＭは抜け易くないが認定調査である」ということは成り立たない; int5 & fact11 -> int6: この平和祭は仕方無い; fact6 -> int7: 「そのシェアーズは沈殿しない」ということは本当である; fact14 -> int8: もしそのシェアーズが沈殿するということはないとすると保留するかあるいはそれは抜け出るかあるいはどちらもだ; int7 & int8 -> int9: そのシェアーズは保留するかまたは抜け出るかあるいはどちらもである; fact4 & fact2 & int9 -> int10: その百三十七例は保留する; fact16 & int10 -> int11: この平和祭は武家だ; int6 & int11 -> hypothesis;
「この平和祭は仕方無いし更に武家である」ということは事実でない
$facts$ = fact1: 仮にこの鼻腔が抜け易くないとすればそのフォーＭはＣＳＡである fact2: もし仮にそのシェアーズが抜け出るとすればあの百三十七例は保留する fact3: もしもこの鼻腔は粉っぽくないとしたら「この平和祭は仕方無いし加えて武家だ」ということは嘘だ fact4: もしそのシェアーズが保留するとすればその百三十七例は保留する fact5: その百三十七例は抜け出ない一方で惨め過ぎる fact6: そのシェアーズは沈殿しないがしかしそれは染み込み易い fact7: なんらかの物が中国全土でないか抜け易くないとするとこの閣僚登用はＣＳＡでない fact8: もし「ＣＳＡであるかあるいは切り離し難いか両方な」物があるとするとこの閣僚登用は中国全土でない fact9: 何らかの物が粉っぽいならばこの鼻腔は切り離し難い fact10: とあるものは粉っぽい fact11: もしも「そのフォーＭは抜け易くないけど認定調査だ」ということは成り立たないとすると「この平和祭は仕方無い」ということは成り立つ fact12: 仮にこの閣僚登用は中国全土でないなら「そのフォーＭは抜け易くないけどそれは認定調査だ」ということは間違っている fact13: 「保留しない」ものはあれば「その百三十七例は認定調査でない」ということは事実である fact14: もしもなんらかのものが沈殿しないとしたらそれは保留するかもしくは抜け出るか両方である fact15: その百三十七例が認定調査でないとするとそのフォーＭは中国全土でないかまたは抜け易くないかまたはどちらもだ fact16: 仮にその百三十七例が保留するとするとこの平和祭は武家である ; $hypothesis$ = この平和祭は仕方無くて武家である ; $proof$ = 
fact10 & fact9 -> int1: 「この鼻腔は切り離し難い」ということは本当だ; int1 -> int2: この鼻腔はＣＳＡであるかまたは切り離し難いかもしくは両方ともだ; int2 -> int3: あるものはＣＳＡであるかもしくは切り離し難いかもしくは両方ともである; int3 & fact8 -> int4: 「この閣僚登用は中国全土でない」ということは正しい; int4 & fact12 -> int5: 「そのフォーＭは抜け易くないが認定調査である」ということは成り立たない; int5 & fact11 -> int6: この平和祭は仕方無い; fact6 -> int7: 「そのシェアーズは沈殿しない」ということは本当である; fact14 -> int8: もしそのシェアーズが沈殿するということはないとすると保留するかあるいはそれは抜け出るかあるいはどちらもだ; int7 & int8 -> int9: そのシェアーズは保留するかまたは抜け出るかあるいはどちらもである; fact4 & fact2 & int9 -> int10: その百三十七例は保留する; fact16 & int10 -> int11: この平和祭は武家だ; int6 & int11 -> hypothesis; __PROVED__
事実1: 仮にこの鼻腔が抜け易くないとすればそのフォーＭはＣＳＡである
事実2: もし仮にそのシェアーズが抜け出るとすればあの百三十七例は保留する
事実3: もしもこの鼻腔は粉っぽくないとしたら「この平和祭は仕方無いし加えて武家だ」ということは嘘だ
事実4: もしそのシェアーズが保留するとすればその百三十七例は保留する
事実5: その百三十七例は抜け出ない一方で惨め過ぎる
事実6: そのシェアーズは沈殿しないがしかしそれは染み込み易い
事実7: なんらかの物が中国全土でないか抜け易くないとするとこの閣僚登用はＣＳＡでない
事実8: もし「ＣＳＡであるかあるいは切り離し難いか両方な」物があるとするとこの閣僚登用は中国全土でない
事実9: 何らかの物が粉っぽいならばこの鼻腔は切り離し難い
事実10: とあるものは粉っぽい
事実11: もしも「そのフォーＭは抜け易くないけど認定調査だ」ということは成り立たないとすると「この平和祭は仕方無い」ということは成り立つ
事実12: 仮にこの閣僚登用は中国全土でないなら「そのフォーＭは抜け易くないけどそれは認定調査だ」ということは間違っている
事実13: 「保留しない」ものはあれば「その百三十七例は認定調査でない」ということは事実である
事実14: もしもなんらかのものが沈殿しないとしたらそれは保留するかもしくは抜け出るか両方である
事実15: その百三十七例が認定調査でないとするとそのフォーＭは中国全土でないかまたは抜け易くないかまたはどちらもだ
事実16: 仮にその百三十七例が保留するとするとこの平和祭は武家である

仮説: この平和祭は仕方無くて武家である
1. 事実10と事実9から、推論1: "「この鼻腔は切り離し難い」ということは本当だ"が導かれる
2. 推論1から、推論2: "この鼻腔はＣＳＡであるかまたは切り離し難いかもしくは両方ともだ"が導かれる
3. 推論2から、推論3: "あるものはＣＳＡであるかもしくは切り離し難いかもしくは両方ともである"が導かれる
4. 推論3と事実8から、推論4: "「この閣僚登用は中国全土でない」ということは正しい"が導かれる
5. 推論4と事実12から、推論5: "「そのフォーＭは抜け易くないが認定調査である」ということは成り立たない"が導かれる
6. 推論5と事実11から、推論6: "この平和祭は仕方無い"が導かれる
7. 事実6から、推論7: "「そのシェアーズは沈殿しない」ということは本当である"が導かれる
8. 事実14から、推論8: "もしそのシェアーズが沈殿するということはないとすると保留するかあるいはそれは抜け出るかあるいはどちらもだ"が導かれる
9. 推論7と推論8から、推論9: "そのシェアーズは保留するかまたは抜け出るかあるいはどちらもである"が導かれる
10. 事実4と事実2と推論9から、推論10: "その百三十七例は保留する"が導かれる
11. 事実16と推論10から、推論11: "この平和祭は武家だ"が導かれる
12. 推論6と推論11から、仮説が導かれる

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