「仮にその白旗が市民政府ならばあの小部分は行き難くないけど左右され易い」ということは成り立つということはない
fact1: もしも「あの小部分は色違いだしかつ左右され易い」ということは偽ならばそれはうら若しということはない fact2: その白旗はうら若し fact3: もしその白旗は色違いだということはないとすると「この竣功図がうら若ししその上色違いである」ということは成り立たない fact4: もしその白旗は受け辛くないならば「あの小部分は左右され易くてさらに受け辛い」ということは真実でない fact5: その白旗は情報公開法でない fact6: その白旗が左右され易くないならば市民政府でない fact7: この竣功図は温い fact8: この液中が色違いでないかそれはうら若しかあるいはどちらもだとしたら色違いでない fact9: もしもこの竣功図がうら若ししおまけに色違いだとすればＰ負荷であるということはない fact10: もし「この竣功図はうら若しし加えて色違いだ」ということは成り立たないとすれば「入れ難くない」ということは成り立つ fact11: 「その白旗は受け辛くないしかつそれは温くない」ということは間違いだ fact12: あの小部分は行き難くてそれに左右され易い fact13: 「その白旗はちらちらするし更にそれは左右され易い」ということは誤りである fact14: もし仮に「この竣功図は左右され易いということはなくてそれに入れ難くない」ということは成り立たないならば色違いだ fact15: もしもこの竣功図が入れ難くないならあの小部分は行き難くないけれど左右され易い fact16: 仮にあの小部分が入れ難いとするとこの竣功図は行き難いしＰ負荷である fact17: 仮に「あの小部分は色違いでないしそれは左右され易いということはない」ということは誤りだとするとそれは温い fact18: 仮にその白旗がＰ負荷だし市民政府であるならば色違いでない fact19: もし仮にこの竣功図が温いならその白旗はうら若し fact20: もし「その白旗は受け辛くないし温くない」ということは本当でないとすればＰ負荷である fact21: もしもこの竣功図が温くないとすればその白旗は市民政府でそれに色違いだ
fact20 & fact11 -> int1: その白旗はＰ負荷だ; void -> assump1: 以下のように仮定する。その白旗は市民政府である; int1 & assump1 -> int2: その白旗はＰ負荷であるし市民政府だ; int2 & fact18 -> int3: その白旗は色違いでない; int3 & fact3 -> int4: 「この竣功図はうら若しし色違いだ」ということは真実でない; int4 & fact10 -> int5: 「この竣功図は入れ難くない」ということは事実だ; int5 & fact15 -> int6: あの小部分は行き難いということはないがしかし左右され易い; [assump1] & int6 -> hypothesis;
この液中は温くない物でさらに謝罪嘆願である
$facts$ = fact1: もしも「あの小部分は色違いだしかつ左右され易い」ということは偽ならばそれはうら若しということはない fact2: その白旗はうら若し fact3: もしその白旗は色違いだということはないとすると「この竣功図がうら若ししその上色違いである」ということは成り立たない fact4: もしその白旗は受け辛くないならば「あの小部分は左右され易くてさらに受け辛い」ということは真実でない fact5: その白旗は情報公開法でない fact6: その白旗が左右され易くないならば市民政府でない fact7: この竣功図は温い fact8: この液中が色違いでないかそれはうら若しかあるいはどちらもだとしたら色違いでない fact9: もしもこの竣功図がうら若ししおまけに色違いだとすればＰ負荷であるということはない fact10: もし「この竣功図はうら若しし加えて色違いだ」ということは成り立たないとすれば「入れ難くない」ということは成り立つ fact11: 「その白旗は受け辛くないしかつそれは温くない」ということは間違いだ fact12: あの小部分は行き難くてそれに左右され易い fact13: 「その白旗はちらちらするし更にそれは左右され易い」ということは誤りである fact14: もし仮に「この竣功図は左右され易いということはなくてそれに入れ難くない」ということは成り立たないならば色違いだ fact15: もしもこの竣功図が入れ難くないならあの小部分は行き難くないけれど左右され易い fact16: 仮にあの小部分が入れ難いとするとこの竣功図は行き難いしＰ負荷である fact17: 仮に「あの小部分は色違いでないしそれは左右され易いということはない」ということは誤りだとするとそれは温い fact18: 仮にその白旗がＰ負荷だし市民政府であるならば色違いでない fact19: もし仮にこの竣功図が温いならその白旗はうら若し fact20: もし「その白旗は受け辛くないし温くない」ということは本当でないとすればＰ負荷である fact21: もしもこの竣功図が温くないとすればその白旗は市民政府でそれに色違いだ ; $hypothesis$ = 「仮にその白旗が市民政府ならばあの小部分は行き難くないけど左右され易い」ということは成り立つということはない ; $proof$ = 
fact20 & fact11 -> int1: その白旗はＰ負荷だ; void -> assump1: 以下のように仮定する。その白旗は市民政府である; int1 & assump1 -> int2: その白旗はＰ負荷であるし市民政府だ; int2 & fact18 -> int3: その白旗は色違いでない; int3 & fact3 -> int4: 「この竣功図はうら若しし色違いだ」ということは真実でない; int4 & fact10 -> int5: 「この竣功図は入れ難くない」ということは事実だ; int5 & fact15 -> int6: あの小部分は行き難いということはないがしかし左右され易い; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: もしも「あの小部分は色違いだしかつ左右され易い」ということは偽ならばそれはうら若しということはない
事実2: その白旗はうら若し
事実3: もしその白旗は色違いだということはないとすると「この竣功図がうら若ししその上色違いである」ということは成り立たない
事実4: もしその白旗は受け辛くないならば「あの小部分は左右され易くてさらに受け辛い」ということは真実でない
事実5: その白旗は情報公開法でない
事実6: その白旗が左右され易くないならば市民政府でない
事実7: この竣功図は温い
事実8: この液中が色違いでないかそれはうら若しかあるいはどちらもだとしたら色違いでない
事実9: もしもこの竣功図がうら若ししおまけに色違いだとすればＰ負荷であるということはない
事実10: もし「この竣功図はうら若しし加えて色違いだ」ということは成り立たないとすれば「入れ難くない」ということは成り立つ
事実11: 「その白旗は受け辛くないしかつそれは温くない」ということは間違いだ
事実12: あの小部分は行き難くてそれに左右され易い
事実13: 「その白旗はちらちらするし更にそれは左右され易い」ということは誤りである
事実14: もし仮に「この竣功図は左右され易いということはなくてそれに入れ難くない」ということは成り立たないならば色違いだ
事実15: もしもこの竣功図が入れ難くないならあの小部分は行き難くないけれど左右され易い
事実16: 仮にあの小部分が入れ難いとするとこの竣功図は行き難いしＰ負荷である
事実17: 仮に「あの小部分は色違いでないしそれは左右され易いということはない」ということは誤りだとするとそれは温い
事実18: 仮にその白旗がＰ負荷だし市民政府であるならば色違いでない
事実19: もし仮にこの竣功図が温いならその白旗はうら若し
事実20: もし「その白旗は受け辛くないし温くない」ということは本当でないとすればＰ負荷である
事実21: もしもこの竣功図が温くないとすればその白旗は市民政府でそれに色違いだ

仮説: 「仮にその白旗が市民政府ならばあの小部分は行き難くないけど左右され易い」ということは成り立つということはない
1. 事実20と事実11から、推論1: "その白旗はＰ負荷だ"が導かれる
2. 仮定1: 以下のように仮定する。その白旗は市民政府である
3. 推論1と仮定1から、推論2: "その白旗はＰ負荷であるし市民政府だ"が導かれる
4. 推論2と事実18から、推論3: "その白旗は色違いでない"が導かれる
5. 推論3と事実3から、推論4: "「この竣功図はうら若しし色違いだ」ということは真実でない"が導かれる
6. 推論4と事実10から、推論5: "「この竣功図は入れ難くない」ということは事実だ"が導かれる
7. 推論5と事実15から、推論6: "あの小部分は行き難いということはないがしかし左右され易い"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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