この半信半疑は弁解がましかない
fact1: もしもその零戦がずり上がるということはなくて加えてそれが仕事出来るということはないならあの豪華は破水するということはない fact2: もしこの半信半疑はずり上がれば「それは破水する」ということは成り立つ fact3: もしも「この半信半疑は地域作りであるしさらにずり上がる」ということは成り立たないとするとそれは弁解がましかない fact4: もしもあの豪華は地域作りでないとすると「この半信半疑は地域作りであるしずり上がる」ということは成り立つということはない fact5: もし仮に「その零戦は嬉し過ぎるしまた知り合いらしい」ということは成り立たないならばずり上がるということはない fact6: 「あの豪華は仕事出来ない」ということは確かだ fact7: 「その零戦は嬉し過ぎるしおまけに知り合いらしい」ということは成り立たない fact8: あのパスワードは地域作りである fact9: 仮にこの半信半疑がずり上がらないならば弁解がましかない fact10: もしあの豪華は地域作りであるとすると破水する fact11: もしもあの豪華が破水するとしたら仕事出来る
void -> assump1: 以下のように仮定する。あの豪華は地域作りだ; fact10 & assump1 -> int1: 「あの豪華は破水する」ということは真実だ; int1 & fact11 -> int2: あの豪華は仕事出来る; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの豪華は地域作りでない; int4 & fact4 -> int5: 「この半信半疑が地域作りだし更にそれはずり上がる」ということは偽である; int5 & fact3 -> hypothesis;
この半信半疑は弁解がましい
fact13 & fact14 -> int6: その零戦はずり上がらない;
$facts$ = fact1: もしもその零戦がずり上がるということはなくて加えてそれが仕事出来るということはないならあの豪華は破水するということはない fact2: もしこの半信半疑はずり上がれば「それは破水する」ということは成り立つ fact3: もしも「この半信半疑は地域作りであるしさらにずり上がる」ということは成り立たないとするとそれは弁解がましかない fact4: もしもあの豪華は地域作りでないとすると「この半信半疑は地域作りであるしずり上がる」ということは成り立つということはない fact5: もし仮に「その零戦は嬉し過ぎるしまた知り合いらしい」ということは成り立たないならばずり上がるということはない fact6: 「あの豪華は仕事出来ない」ということは確かだ fact7: 「その零戦は嬉し過ぎるしおまけに知り合いらしい」ということは成り立たない fact8: あのパスワードは地域作りである fact9: 仮にこの半信半疑がずり上がらないならば弁解がましかない fact10: もしあの豪華は地域作りであるとすると破水する fact11: もしもあの豪華が破水するとしたら仕事出来る ; $hypothesis$ = この半信半疑は弁解がましかない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの豪華は地域作りだ; fact10 & assump1 -> int1: 「あの豪華は破水する」ということは真実だ; int1 & fact11 -> int2: あの豪華は仕事出来る; int2 & fact6 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの豪華は地域作りでない; int4 & fact4 -> int5: 「この半信半疑が地域作りだし更にそれはずり上がる」ということは偽である; int5 & fact3 -> hypothesis; __PROVED__
事実1: もしもその零戦がずり上がるということはなくて加えてそれが仕事出来るということはないならあの豪華は破水するということはない
事実2: もしこの半信半疑はずり上がれば「それは破水する」ということは成り立つ
事実3: もしも「この半信半疑は地域作りであるしさらにずり上がる」ということは成り立たないとするとそれは弁解がましかない
事実4: もしもあの豪華は地域作りでないとすると「この半信半疑は地域作りであるしずり上がる」ということは成り立つということはない
事実5: もし仮に「その零戦は嬉し過ぎるしまた知り合いらしい」ということは成り立たないならばずり上がるということはない
事実6: 「あの豪華は仕事出来ない」ということは確かだ
事実7: 「その零戦は嬉し過ぎるしおまけに知り合いらしい」ということは成り立たない
事実8: あのパスワードは地域作りである
事実9: 仮にこの半信半疑がずり上がらないならば弁解がましかない
事実10: もしあの豪華は地域作りであるとすると破水する
事実11: もしもあの豪華が破水するとしたら仕事出来る

仮説: この半信半疑は弁解がましかない
1. 仮定1: 以下のように仮定する。あの豪華は地域作りだ
2. 事実10と仮定1から、推論1: "「あの豪華は破水する」ということは真実だ"が導かれる
3. 推論1と事実11から、推論2: "あの豪華は仕事出来る"が導かれる
4. 推論2と事実6から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの豪華は地域作りでない"が導かれる
6. 推論4と事実4から、推論5: "「この半信半疑が地域作りだし更にそれはずり上がる」ということは偽である"が導かれる
7. 推論5と事実3から、仮説が導かれる

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