このイントネーションは弛み無い
fact1: もし仮に何かはきついということはないならば「それは淡くないし飾り気でない」ということは成り立たない fact2: 飾り気は淡い fact3: 「この重化学工業は軽し一方で使節であるということはない」ということは嘘だ fact4: この重化学工業が淡くてきついならばこの自家心膜片は軽しない fact5: あの木の葉は掛け易いということはないけど間違い易い fact6: 仮にあの木の葉は実現し得るということはないなら「逃亡生活だし掛け易い」ということは事実である fact7: 仮に何かは実現し得るということはないならそれは逃亡生活だしその上弛み無い fact8: もし仮に「何らかの物は実現し得ないけどきつい」ということは事実と異なるならそれはきつかない fact9: 仮にあの木の葉が掛け易くない一方で間違い易いとするとこの重化学工業は飾り気だ fact10: もしもこの自家心膜片が軽しないとしたらこのイントネーションは実現し得ないけど使節だ fact11: もしある物は軽しないとすると「それは実現し得るということはないがきつい」ということは誤りだ fact12: 仮に「「軽し一方で使節であるということはない」ということは嘘な」物があればあの木の葉は軽しない fact13: この重化学工業はきついしそれに言い訳がましい
fact9 & fact5 -> int1: この重化学工業は飾り気だ; fact2 -> int2: もしもこの重化学工業は飾り気であるとしたらそれは淡い; int1 & int2 -> int3: この重化学工業は淡い; fact13 -> int4: この重化学工業はきつい; int3 & int4 -> int5: この重化学工業は淡いししかもきつい; int5 & fact4 -> int6: この自家心膜片は軽しない; int6 & fact10 -> int7: このイントネーションは実現し得るということはないけれど使節だ; int7 -> int8: このイントネーションは実現し得ない; fact7 -> int9: もし「このイントネーションは実現し得ない」ということは誤りでないとしたら逃亡生活であるし弛み無い; int8 & int9 -> int10: このイントネーションは逃亡生活でしかもそれは弛み無い; int10 -> hypothesis;
このイントネーションは弛み無くない
fact16 -> int11: あの木の葉はきつくないとしたら「それは淡いということはないし飾り気でない」ということは誤りだ; fact17 -> int12: もし「あの木の葉は実現し得ないけれどきつい」ということは嘘であるとするときつかない; fact15 -> int13: 仮にあの木の葉は軽しないならば「実現し得ないしかつきつい」ということは嘘だ; fact14 -> int14: 「「軽し一方で使節でない」ということは成り立たない」物はある; int14 & fact18 -> int15: あの木の葉は軽しない; int13 & int15 -> int16: 「あの木の葉は実現し得ないがしかしきつい」ということは成り立つということはない; int12 & int16 -> int17: あの木の葉はきつくない; int11 & int17 -> int18: 「あの木の葉は淡くないし飾り気でない」ということは成り立たない; int18 -> int19: 「「淡くなくて飾り気だということはない」ということは成り立たない」物はある;
$facts$ = fact1: もし仮に何かはきついということはないならば「それは淡くないし飾り気でない」ということは成り立たない fact2: 飾り気は淡い fact3: 「この重化学工業は軽し一方で使節であるということはない」ということは嘘だ fact4: この重化学工業が淡くてきついならばこの自家心膜片は軽しない fact5: あの木の葉は掛け易いということはないけど間違い易い fact6: 仮にあの木の葉は実現し得るということはないなら「逃亡生活だし掛け易い」ということは事実である fact7: 仮に何かは実現し得るということはないならそれは逃亡生活だしその上弛み無い fact8: もし仮に「何らかの物は実現し得ないけどきつい」ということは事実と異なるならそれはきつかない fact9: 仮にあの木の葉が掛け易くない一方で間違い易いとするとこの重化学工業は飾り気だ fact10: もしもこの自家心膜片が軽しないとしたらこのイントネーションは実現し得ないけど使節だ fact11: もしある物は軽しないとすると「それは実現し得るということはないがきつい」ということは誤りだ fact12: 仮に「「軽し一方で使節であるということはない」ということは嘘な」物があればあの木の葉は軽しない fact13: この重化学工業はきついしそれに言い訳がましい ; $hypothesis$ = このイントネーションは弛み無い ; $proof$ = 
fact9 & fact5 -> int1: この重化学工業は飾り気だ; fact2 -> int2: もしもこの重化学工業は飾り気であるとしたらそれは淡い; int1 & int2 -> int3: この重化学工業は淡い; fact13 -> int4: この重化学工業はきつい; int3 & int4 -> int5: この重化学工業は淡いししかもきつい; int5 & fact4 -> int6: この自家心膜片は軽しない; int6 & fact10 -> int7: このイントネーションは実現し得るということはないけれど使節だ; int7 -> int8: このイントネーションは実現し得ない; fact7 -> int9: もし「このイントネーションは実現し得ない」ということは誤りでないとしたら逃亡生活であるし弛み無い; int8 & int9 -> int10: このイントネーションは逃亡生活でしかもそれは弛み無い; int10 -> hypothesis; __PROVED__
事実1: もし仮に何かはきついということはないならば「それは淡くないし飾り気でない」ということは成り立たない
事実2: 飾り気は淡い
事実3: 「この重化学工業は軽し一方で使節であるということはない」ということは嘘だ
事実4: この重化学工業が淡くてきついならばこの自家心膜片は軽しない
事実5: あの木の葉は掛け易いということはないけど間違い易い
事実6: 仮にあの木の葉は実現し得るということはないなら「逃亡生活だし掛け易い」ということは事実である
事実7: 仮に何かは実現し得るということはないならそれは逃亡生活だしその上弛み無い
事実8: もし仮に「何らかの物は実現し得ないけどきつい」ということは事実と異なるならそれはきつかない
事実9: 仮にあの木の葉が掛け易くない一方で間違い易いとするとこの重化学工業は飾り気だ
事実10: もしもこの自家心膜片が軽しないとしたらこのイントネーションは実現し得ないけど使節だ
事実11: もしある物は軽しないとすると「それは実現し得るということはないがきつい」ということは誤りだ
事実12: 仮に「「軽し一方で使節であるということはない」ということは嘘な」物があればあの木の葉は軽しない
事実13: この重化学工業はきついしそれに言い訳がましい

仮説: このイントネーションは弛み無い
1. 事実9と事実5から、推論1: "この重化学工業は飾り気だ"が導かれる
2. 事実2から、推論2: "もしもこの重化学工業は飾り気であるとしたらそれは淡い"が導かれる
3. 推論1と推論2から、推論3: "この重化学工業は淡い"が導かれる
4. 事実13から、推論4: "この重化学工業はきつい"が導かれる
5. 推論3と推論4から、推論5: "この重化学工業は淡いししかもきつい"が導かれる
6. 推論5と事実4から、推論6: "この自家心膜片は軽しない"が導かれる
7. 推論6と事実10から、推論7: "このイントネーションは実現し得るということはないけれど使節だ"が導かれる
8. 推論7から、推論8: "このイントネーションは実現し得ない"が導かれる
9. 事実7から、推論9: "もし「このイントネーションは実現し得ない」ということは誤りでないとしたら逃亡生活であるし弛み無い"が導かれる
10. 推論8と推論9から、推論10: "このイントネーションは逃亡生活でしかもそれは弛み無い"が導かれる
11. 推論10から、仮説が導かれる

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