この条例制定は生み難くない
fact1: もし仮になにがしかのものはＳＲＣ属性でないならば「それは生み難くなくてしかも国際事務局でない」ということは間違いである fact2: その地殻は疲労し易い fact3: もし「この条例制定はすーごいし国際事務局である」ということは正しいとしたらそれは作用し合わない fact4: この条例制定は先祖祭祀だ fact5: ＳＲＣ属性は国際事務局である fact6: もしも国際事務局が疲労し易いならそれは生み難くない fact7: この条例制定は債券運用であるしそれに軽い fact8: あの均等償却は生み難い fact9: 「この奥さんは浴すということはない」ということは間違いであるとすればそれは生み難くないけれどキール運河だ fact10: その気位はキール運河である fact11: この条例制定はキール運河だ fact12: この条例制定は敗れるし満了する fact13: 「この条例制定がキール運河であるならばこの条例制定は疲労し易い」ということは確かだ fact14: この条例制定は国際事務局でかつそれはＳＲＣ属性だ fact15: もし仮になにがしかのものは生み難くないがしかしキール運河であるとすればＳＲＣ属性である fact16: 「その山林所有者は盛装するし加えて疲労し易い」ということは事実だ fact17: この条例制定は構築すし加えて神々しい
fact14 -> int1: 「この条例制定は国際事務局だ」ということは成り立つ; fact13 & fact11 -> int2: この条例制定は疲労し易い; int1 & int2 -> int3: この条例制定は国際事務局でかつ疲労し易い; fact6 -> int4: 仮にこの条例制定は国際事務局でしかも疲労し易いとすると「生み難くない」ということは成り立つ; int3 & int4 -> hypothesis;
この条例制定は生み難い
fact18 -> int5: もしこの条例制定はＳＲＣ属性だということはないとしたら「生み難いということはないしさらに国際事務局でない」ということは成り立たない;
$facts$ = fact1: もし仮になにがしかのものはＳＲＣ属性でないならば「それは生み難くなくてしかも国際事務局でない」ということは間違いである fact2: その地殻は疲労し易い fact3: もし「この条例制定はすーごいし国際事務局である」ということは正しいとしたらそれは作用し合わない fact4: この条例制定は先祖祭祀だ fact5: ＳＲＣ属性は国際事務局である fact6: もしも国際事務局が疲労し易いならそれは生み難くない fact7: この条例制定は債券運用であるしそれに軽い fact8: あの均等償却は生み難い fact9: 「この奥さんは浴すということはない」ということは間違いであるとすればそれは生み難くないけれどキール運河だ fact10: その気位はキール運河である fact11: この条例制定はキール運河だ fact12: この条例制定は敗れるし満了する fact13: 「この条例制定がキール運河であるならばこの条例制定は疲労し易い」ということは確かだ fact14: この条例制定は国際事務局でかつそれはＳＲＣ属性だ fact15: もし仮になにがしかのものは生み難くないがしかしキール運河であるとすればＳＲＣ属性である fact16: 「その山林所有者は盛装するし加えて疲労し易い」ということは事実だ fact17: この条例制定は構築すし加えて神々しい ; $hypothesis$ = この条例制定は生み難くない ; $proof$ = 
fact14 -> int1: 「この条例制定は国際事務局だ」ということは成り立つ; fact13 & fact11 -> int2: この条例制定は疲労し易い; int1 & int2 -> int3: この条例制定は国際事務局でかつ疲労し易い; fact6 -> int4: 仮にこの条例制定は国際事務局でしかも疲労し易いとすると「生み難くない」ということは成り立つ; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものはＳＲＣ属性でないならば「それは生み難くなくてしかも国際事務局でない」ということは間違いである
事実2: その地殻は疲労し易い
事実3: もし「この条例制定はすーごいし国際事務局である」ということは正しいとしたらそれは作用し合わない
事実4: この条例制定は先祖祭祀だ
事実5: ＳＲＣ属性は国際事務局である
事実6: もしも国際事務局が疲労し易いならそれは生み難くない
事実7: この条例制定は債券運用であるしそれに軽い
事実8: あの均等償却は生み難い
事実9: 「この奥さんは浴すということはない」ということは間違いであるとすればそれは生み難くないけれどキール運河だ
事実10: その気位はキール運河である
事実11: この条例制定はキール運河だ
事実12: この条例制定は敗れるし満了する
事実13: 「この条例制定がキール運河であるならばこの条例制定は疲労し易い」ということは確かだ
事実14: この条例制定は国際事務局でかつそれはＳＲＣ属性だ
事実15: もし仮になにがしかのものは生み難くないがしかしキール運河であるとすればＳＲＣ属性である
事実16: 「その山林所有者は盛装するし加えて疲労し易い」ということは事実だ
事実17: この条例制定は構築すし加えて神々しい

仮説: この条例制定は生み難くない
1. 事実14から、推論1: "「この条例制定は国際事務局だ」ということは成り立つ"が導かれる
2. 事実13と事実11から、推論2: "この条例制定は疲労し易い"が導かれる
3. 推論1と推論2から、推論3: "この条例制定は国際事務局でかつ疲労し易い"が導かれる
4. 事実6から、推論4: "仮にこの条例制定は国際事務局でしかも疲労し易いとすると「生み難くない」ということは成り立つ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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