もしあの現代日本人は感染し易くないとしたら「その停留精巣は様良しが十アット鉱山でない」ということは確かだ
fact1: あの遣隋使は段注だ fact2: もし仮にその停留精巣は十アット鉱山だとしたら「あの現代日本人がローマ世界だしそれに市内各所だ」ということは間違っている fact3: もし仮にあの烏漆が低しないとしたら至近弾だしそれは欲深い fact4: もし仮にあの十六分音符は至近弾だとすれば「このネイビーブルーは御挨拶する」ということは成り立つ fact5: もしとあるものは留守番するなら「それは感染し易い」ということは正しい fact6: もしとある物が執り行なえるとするとそれは至近弾である fact7: 「あの十六分音符は欲深い」ということは正しいとすると「至近弾だということはないかまたは御挨拶しないかあるいはどちらもだ」ということは正しい fact8: もしもこの刈り入れが執り行なえるとすればその停留精巣は様良し fact9: その停留精巣が十アット鉱山でなくてそれが留守番するということはないとすればあの現代日本人は様良くない fact10: あの十六分音符は至近弾であるかあるいは御挨拶しない fact11: この刈り入れは執り行なえないかまたは市内各所だということはない fact12: もし何らかの物は御挨拶するとすれば「感染し易いということはないしそれに執り行なえるということはない」ということは嘘である fact13: あの十六分音符は欲深い fact14: もし仮に「感染し易い」物があればその停留精巣は十アット鉱山でないし留守番するということはない fact15: 「あの現代日本人はローマ世界であるけど市内各所であるということはない」ということは成り立つということはないとすればそれは留守番する fact16: もし仮にあの烏漆が至近弾だとするとあの十六分音符は至近弾である fact17: もしもこのネイビーブルーが執り行なえないとすればこの刈り入れは執り行なえる fact18: もしもその停留精巣は十アット鉱山であるとすると「あの現代日本人はローマ世界であるがそれは市内各所でない」ということは本当でない fact19: あの遣隋使は邪魔立てする fact20: あの十六分音符は至近弾でないかまたは御挨拶するかもしくは両方ともだ fact21: もしもあの十六分音符が至近弾でないかまたは御挨拶しないかもしくは両方ともならばこのネイビーブルーは執り行なえない fact22: もしも「あの現代日本人が十アット鉱山だけど欲深くない」ということは誤りだとしたらそれはローマ世界である fact23: 感染し易いものは執り行なえる fact24: あの十六分音符が欲深いとしたら至近弾でないかもしくはそれは御挨拶する
void -> assump1: 以下のように仮定する。その停留精巣は十アット鉱山だ; fact18 & assump1 -> int1: 「あの現代日本人はローマ世界だ一方で市内各所でない」ということは誤りである; int1 & fact15 -> int2: あの現代日本人は留守番する; fact5 -> int3: あの現代日本人が留守番するとしたらそれは感染し易い; int2 & int3 -> int4: あの現代日本人は感染し易い; void -> assump2: 以下のように仮定する。あの現代日本人は感染し易くない; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: その停留精巣は十アット鉱山でない; fact13 & fact7 -> int7: あの十六分音符は至近弾でないかもしくはそれは御挨拶しないか両方ともだ; int7 & fact21 -> int8: このネイビーブルーは執り行なえない; int8 & fact17 -> int9: この刈り入れは執り行なえる; fact8 & int9 -> int10: 「その停留精巣は様良し」ということは本当だ; int6 & int10 -> int11: その停留精巣は様良しが十アット鉱山でない; [assump2] & int11 -> hypothesis;
あの現代日本人は様良くない
fact27 -> int12: もしもこのネイビーブルーは御挨拶するとしたら「「感染し易いということはないし執り行なえない」ということは確かである」ということは成り立たない; fact30 & fact26 -> int13: あの遣隋使は段注であるしかつ邪魔立てする; int13 -> int14: 「段注だし邪魔立てする」ものはある;
$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: あの十六分音符が欲深いとしたら至近弾でないかもしくはそれは御挨拶する ; $hypothesis$ = もしあの現代日本人は感染し易くないとしたら「その停留精巣は様良しが十アット鉱山でない」ということは確かだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その停留精巣は十アット鉱山だ; fact18 & assump1 -> int1: 「あの現代日本人はローマ世界だ一方で市内各所でない」ということは誤りである; int1 & fact15 -> int2: あの現代日本人は留守番する; fact5 -> int3: あの現代日本人が留守番するとしたらそれは感染し易い; int2 & int3 -> int4: あの現代日本人は感染し易い; void -> assump2: 以下のように仮定する。あの現代日本人は感染し易くない; int4 & assump2 -> int5: これは矛盾である; [assump1] & int5 -> int6: その停留精巣は十アット鉱山でない; fact13 & fact7 -> int7: あの十六分音符は至近弾でないかもしくはそれは御挨拶しないか両方ともだ; int7 & fact21 -> int8: このネイビーブルーは執り行なえない; int8 & fact17 -> int9: この刈り入れは執り行なえる; fact8 & int9 -> int10: 「その停留精巣は様良し」ということは本当だ; int6 & int10 -> int11: その停留精巣は様良しが十アット鉱山でない; [assump2] & int11 -> 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: あの十六分音符が欲深いとしたら至近弾でないかもしくはそれは御挨拶する

仮説: もしあの現代日本人は感染し易くないとしたら「その停留精巣は様良しが十アット鉱山でない」ということは確かだ
1. 仮定1: 以下のように仮定する。その停留精巣は十アット鉱山だ
2. 事実18と仮定1から、推論1: "「あの現代日本人はローマ世界だ一方で市内各所でない」ということは誤りである"が導かれる
3. 推論1と事実15から、推論2: "あの現代日本人は留守番する"が導かれる
4. 事実5から、推論3: "あの現代日本人が留守番するとしたらそれは感染し易い"が導かれる
5. 推論2と推論3から、推論4: "あの現代日本人は感染し易い"が導かれる
6. 仮定2: 以下のように仮定する。あの現代日本人は感染し易くない
7. 推論4と仮定2から、推論5: "これは矛盾である"が導かれる
8. [仮定1]と推論5から、推論6: "その停留精巣は十アット鉱山でない"が導かれる
9. 事実13と事実7から、推論7: "あの十六分音符は至近弾でないかもしくはそれは御挨拶しないか両方ともだ"が導かれる
10. 推論7と事実21から、推論8: "このネイビーブルーは執り行なえない"が導かれる
11. 推論8と事実17から、推論9: "この刈り入れは執り行なえる"が導かれる
12. 事実8と推論9から、推論10: "「その停留精巣は様良し」ということは本当だ"が導かれる
13. 推論6と推論10から、推論11: "その停留精巣は様良しが十アット鉱山でない"が導かれる
14. [仮定2]と推論11から、仮説が導かれる

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