あのＣＤＣは殺傷事件であるかもしくは良いかもしくは両方だ
fact1: この回国者は問屋であるかあるいはカロテノイドだ fact2: このアウトローは平均時速であるということはない fact3: 忌まわしくない物は立ち遅れる fact4: もし「「目的無しないけれど謀反人である」ということは誤りな」物があればあの二周半は薄汚くない fact5: 「技術学習であるということはない」物はある fact6: 「上書きする」ものはあるなら「このアウトローは目的無しないが謀反人である」ということは嘘だ fact7: 「薄汚いけど謀反人だということはない」ものはある fact8: この安寧は立ち遅れない fact9: もしもあの二周半が目的無しし上書きするならばあのアウトローは三十八度線でない fact10: 「薄汚い」物はある fact11: もし仮に何らかのものが問屋でないとすればそれは殺傷事件であるかあるいは良いかもしくはどちらもだ fact12: 「「このアウトローは立ち遅れる」ということは真実ならばこのアウトローは三十八度線である」ということは正しい fact13: このアウトローは忌まわしくなくてそれは平均時速であるということはない fact14: この回国者は良くない fact15: もしあのＣＤＣがカロテノイドでないとするとそれは技術学習であるかもしくは殺傷事件だ fact16: もしもあの二周半は上書きしないとすれば「「この回国者は技術学習であるがしかしカロテノイドでない」ということは嘘だ」ということは真実である fact17: なにかは技術学習でないとすればそれは三十八度線であるしおまけに上書きする fact18: もしこの回国者が技術学習でないとするとあのＣＤＣは問屋でない fact19: 「この回国者は問屋でないけどカロテノイドだ」ということは誤りだ fact20: 良い平均時速はある fact21: もしもあの二周半は良いとしたら「あのＣＤＣは上書きしない」ということは確かだ fact22: もし仮に「この回国者は技術学習であるがカロテノイドでない」ということは事実と異なるとするとあのＣＤＣは問屋でない fact23: この回国者は聞き辛くない fact24: もしもあるものは薄汚いけれど謀反人でないとすれば「あの二周半は目的無し」ということは正しい fact25: あのＣＤＣはカロテノイドでないならば良い
fact7 & fact24 -> int1: あの二周半は目的無し; void -> assump1: 以下のように仮定する。あの二周半は上書きする; int1 & assump1 -> int2: あの二周半は目的無しし上書きする; int2 & fact9 -> int3: このアウトローは三十八度線でない; fact3 -> int4: もしもこのアウトローは忌まわしくないとしたら「それは立ち遅れるということはない」ということは嘘である; fact13 -> int5: 「このアウトローは忌まわしくない」ということは成り立つ; int4 & int5 -> int6: このアウトローは立ち遅れる; int6 & fact12 -> int7: このアウトローは三十八度線である; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの二周半は上書きしない; int9 & fact16 -> int10: 「この回国者は技術学習であるけどカロテノイドでない」ということは成り立たない; int10 & fact22 -> int11: あのＣＤＣは問屋であるということはない; fact11 -> int12: 仮に「あのＣＤＣは問屋でない」ということは成り立つとすればそれは殺傷事件であるか良い; int11 & int12 -> hypothesis;
「あのＣＤＣは殺傷事件であるかあるいは良いかまたは両方である」ということは間違いだ
fact27 -> int13: 仮にこの回国者が技術学習でないならそれが三十八度線だしそれは上書きする;
$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: もしもあるものは薄汚いけれど謀反人でないとすれば「あの二周半は目的無し」ということは正しい fact25: あのＣＤＣはカロテノイドでないならば良い ; $hypothesis$ = あのＣＤＣは殺傷事件であるかもしくは良いかもしくは両方だ ; $proof$ = 
fact7 & fact24 -> int1: あの二周半は目的無し; void -> assump1: 以下のように仮定する。あの二周半は上書きする; int1 & assump1 -> int2: あの二周半は目的無しし上書きする; int2 & fact9 -> int3: このアウトローは三十八度線でない; fact3 -> int4: もしもこのアウトローは忌まわしくないとしたら「それは立ち遅れるということはない」ということは嘘である; fact13 -> int5: 「このアウトローは忌まわしくない」ということは成り立つ; int4 & int5 -> int6: このアウトローは立ち遅れる; int6 & fact12 -> int7: このアウトローは三十八度線である; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの二周半は上書きしない; int9 & fact16 -> int10: 「この回国者は技術学習であるけどカロテノイドでない」ということは成り立たない; int10 & fact22 -> int11: あのＣＤＣは問屋であるということはない; fact11 -> int12: 仮に「あのＣＤＣは問屋でない」ということは成り立つとすればそれは殺傷事件であるか良い; int11 & int12 -> hypothesis; __PROVED__
事実1: この回国者は問屋であるかあるいはカロテノイドだ
事実2: このアウトローは平均時速であるということはない
事実3: 忌まわしくない物は立ち遅れる
事実4: もし「「目的無しないけれど謀反人である」ということは誤りな」物があればあの二周半は薄汚くない
事実5: 「技術学習であるということはない」物はある
事実6: 「上書きする」ものはあるなら「このアウトローは目的無しないが謀反人である」ということは嘘だ
事実7: 「薄汚いけど謀反人だということはない」ものはある
事実8: この安寧は立ち遅れない
事実9: もしもあの二周半が目的無しし上書きするならばあのアウトローは三十八度線でない
事実10: 「薄汚い」物はある
事実11: もし仮に何らかのものが問屋でないとすればそれは殺傷事件であるかあるいは良いかもしくはどちらもだ
事実12: 「「このアウトローは立ち遅れる」ということは真実ならばこのアウトローは三十八度線である」ということは正しい
事実13: このアウトローは忌まわしくなくてそれは平均時速であるということはない
事実14: この回国者は良くない
事実15: もしあのＣＤＣがカロテノイドでないとするとそれは技術学習であるかもしくは殺傷事件だ
事実16: もしもあの二周半は上書きしないとすれば「「この回国者は技術学習であるがしかしカロテノイドでない」ということは嘘だ」ということは真実である
事実17: なにかは技術学習でないとすればそれは三十八度線であるしおまけに上書きする
事実18: もしこの回国者が技術学習でないとするとあのＣＤＣは問屋でない
事実19: 「この回国者は問屋でないけどカロテノイドだ」ということは誤りだ
事実20: 良い平均時速はある
事実21: もしもあの二周半は良いとしたら「あのＣＤＣは上書きしない」ということは確かだ
事実22: もし仮に「この回国者は技術学習であるがカロテノイドでない」ということは事実と異なるとするとあのＣＤＣは問屋でない
事実23: この回国者は聞き辛くない
事実24: もしもあるものは薄汚いけれど謀反人でないとすれば「あの二周半は目的無し」ということは正しい
事実25: あのＣＤＣはカロテノイドでないならば良い

仮説: あのＣＤＣは殺傷事件であるかもしくは良いかもしくは両方だ
1. 事実7と事実24から、推論1: "あの二周半は目的無し"が導かれる
2. 仮定1: 以下のように仮定する。あの二周半は上書きする
3. 推論1と仮定1から、推論2: "あの二周半は目的無しし上書きする"が導かれる
4. 推論2と事実9から、推論3: "このアウトローは三十八度線でない"が導かれる
5. 事実3から、推論4: "もしもこのアウトローは忌まわしくないとしたら「それは立ち遅れるということはない」ということは嘘である"が導かれる
6. 事実13から、推論5: "「このアウトローは忌まわしくない」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "このアウトローは立ち遅れる"が導かれる
8. 推論6と事実12から、推論7: "このアウトローは三十八度線である"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの二周半は上書きしない"が導かれる
11. 推論9と事実16から、推論10: "「この回国者は技術学習であるけどカロテノイドでない」ということは成り立たない"が導かれる
12. 推論10と事実22から、推論11: "あのＣＤＣは問屋であるということはない"が導かれる
13. 事実11から、推論12: "仮に「あのＣＤＣは問屋でない」ということは成り立つとすればそれは殺傷事件であるか良い"が導かれる
14. 推論11と推論12から、仮説が導かれる

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