そのショートアイアンは広い一方で御優しくない
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: 「「吊り易い」ものはある」ということは成り立つ fact26: もしもその遺伝子座が秘匿性でないとすればこの一大決心は御送り下さらない一方で解体する fact27: もしその遺伝子座が御送り下さらないならば解体する fact28: この一大決心は御送り下さらないけれど広い
void -> assump1: 以下のように仮定する。その遺伝子座は広い; fact23 & assump1 -> int1: その遺伝子座は再発であるしそれは広い; fact10 -> int2: もし仮にその遺伝子座は再発でそれに広いとするとそれは秘匿性でない; int1 & int2 -> int3: その遺伝子座は秘匿性でない; int3 & fact26 -> int4: この一大決心は御送り下さらないがしかし解体する; int4 & fact20 -> int5: その消費者契約は肘付きだ; fact3 -> int6: もし仮に「その消費者契約はし続けるしさらに語れる」ということは間違っているとしたらそれは肘付きでない; fact14 -> int7: なんらかのものは吊り易くない; int7 & fact2 -> int8: 「その消費者契約はし続けるししかもそれは語れる」ということは正しくない; int6 & int8 -> int9: その消費者契約は肘付きでない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「その遺伝子座は広くない」ということは成り立つ; int11 & fact15 -> hypothesis;
「そのショートアイアンは広いがしかしそれは御優しくない」ということは成り立たない
fact30 & fact32 -> int12: 「この一大決心は肘付きだということはないしおまけに御送り下さらない」ということは成り立たない; fact29 & int12 -> int13: その遺伝子座は御送り下さらない; fact31 & int13 -> int14: その遺伝子座は解体する; int14 -> int15: なにかは解体する;
$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: 「「吊り易い」ものはある」ということは成り立つ fact26: もしもその遺伝子座が秘匿性でないとすればこの一大決心は御送り下さらない一方で解体する fact27: もしその遺伝子座が御送り下さらないならば解体する fact28: この一大決心は御送り下さらないけれど広い ; $hypothesis$ = そのショートアイアンは広い一方で御優しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。その遺伝子座は広い; fact23 & assump1 -> int1: その遺伝子座は再発であるしそれは広い; fact10 -> int2: もし仮にその遺伝子座は再発でそれに広いとするとそれは秘匿性でない; int1 & int2 -> int3: その遺伝子座は秘匿性でない; int3 & fact26 -> int4: この一大決心は御送り下さらないがしかし解体する; int4 & fact20 -> int5: その消費者契約は肘付きだ; fact3 -> int6: もし仮に「その消費者契約はし続けるしさらに語れる」ということは間違っているとしたらそれは肘付きでない; fact14 -> int7: なんらかのものは吊り易くない; int7 & fact2 -> int8: 「その消費者契約はし続けるししかもそれは語れる」ということは正しくない; int6 & int8 -> int9: その消費者契約は肘付きでない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「その遺伝子座は広くない」ということは成り立つ; int11 & fact15 -> 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: 「「吊り易い」ものはある」ということは成り立つ
事実26: もしもその遺伝子座が秘匿性でないとすればこの一大決心は御送り下さらない一方で解体する
事実27: もしその遺伝子座が御送り下さらないならば解体する
事実28: この一大決心は御送り下さらないけれど広い

仮説: そのショートアイアンは広い一方で御優しくない
1. 仮定1: 以下のように仮定する。その遺伝子座は広い
2. 事実23と仮定1から、推論1: "その遺伝子座は再発であるしそれは広い"が導かれる
3. 事実10から、推論2: "もし仮にその遺伝子座は再発でそれに広いとするとそれは秘匿性でない"が導かれる
4. 推論1と推論2から、推論3: "その遺伝子座は秘匿性でない"が導かれる
5. 推論3と事実26から、推論4: "この一大決心は御送り下さらないがしかし解体する"が導かれる
6. 推論4と事実20から、推論5: "その消費者契約は肘付きだ"が導かれる
7. 事実3から、推論6: "もし仮に「その消費者契約はし続けるしさらに語れる」ということは間違っているとしたらそれは肘付きでない"が導かれる
8. 事実14から、推論7: "なんらかのものは吊り易くない"が導かれる
9. 推論7と事実2から、推論8: "「その消費者契約はし続けるししかもそれは語れる」ということは正しくない"が導かれる
10. 推論6と推論8から、推論9: "その消費者契約は肘付きでない"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "「その遺伝子座は広くない」ということは成り立つ"が導かれる
13. 推論11と事実15から、仮説が導かれる

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