「併合するとすれば「「苦いということはないし当該実施機関であるということはない」ということは真実だ」ということは嘘である」物はある
fact1: 仮にとある物は紅潮しないとすると「それは苦くないしかつ当該実施機関でない」ということは成り立たない fact2: もしもとある物は六百メートル以下でないなら「続け為さらなくて加えてそれは若者らしくない」ということは成り立たない fact3: もしも「この金属製品は併合する」ということは正しいなら「苦くないしまたそれは当該実施機関だ」ということは間違っている fact4: 「この金属製品は苦いけど当該実施機関だということはない」ということは誤りだ fact5: 「この金属製品は苦くないが当該実施機関である」ということは成り立つということはない fact6: もしもある物は紅潮するということはないなら「「それは苦いしおまけに当該実施機関でない」ということは成り立つ」ということは成り立たない fact7: 仮になんらかのものは紅潮しないとしたら「苦くない一方で当該実施機関である」ということは成り立たない fact8: 「もし仮に併合するとすると「苦いけれど当該実施機関でない」ということは事実と異なる」ものはある fact9: 「もし仮に続け為さるとしたら「日本旅行でない一方で注視する」ということは成り立たない」物はある fact10: もし仮にこの金属製品は紅潮しないとすると「苦くないけど当該実施機関である」ということは嘘だ fact11: もしもこの金属製品は併合するとすると「それは苦いけれど当該実施機関でない」ということは成り立つということはない fact12: 「仮に併合するとすると苦くないし当該実施機関でない」ものはある fact13: 仮にこの金属製品は紅潮しないなら「それは苦いけど当該実施機関でない」ということは嘘である fact14: この金属製品は愚かしい fact15: もしもこの金属製品が併合すればそれは苦くないしかつ当該実施機関でない fact16: この金属製品は苦くないし加えて当該実施機関でない fact17: 仮に何かは併合するしそれに愚かしいならば紅潮するということはない
void -> assump1: 以下のように仮定する。この金属製品は併合する; assump1 & fact14 -> int1: この金属製品は併合するしそれにそれは愚かしい; fact17 -> int2: 仮にこの金属製品は併合するし更に愚かしいとするとそれは紅潮しない; int1 & int2 -> int3: この金属製品は紅潮しない; fact1 -> int4: もし「この金属製品は紅潮しない」ということは本当であるとしたら「苦くないしその上それは当該実施機関でない」ということは成り立たない; int3 & int4 -> int5: 「「この金属製品は苦いということはないしそれに当該実施機関でない」ということは成り立つ」ということは間違いだ; [assump1] & int5 -> int6: 仮にこの金属製品は併合するとすると「苦くないしさらに当該実施機関でない」ということは誤っている; int6 -> hypothesis;
$facts$ = fact1: 仮にとある物は紅潮しないとすると「それは苦くないしかつ当該実施機関でない」ということは成り立たない fact2: もしもとある物は六百メートル以下でないなら「続け為さらなくて加えてそれは若者らしくない」ということは成り立たない fact3: もしも「この金属製品は併合する」ということは正しいなら「苦くないしまたそれは当該実施機関だ」ということは間違っている fact4: 「この金属製品は苦いけど当該実施機関だということはない」ということは誤りだ fact5: 「この金属製品は苦くないが当該実施機関である」ということは成り立つということはない fact6: もしもある物は紅潮するということはないなら「「それは苦いしおまけに当該実施機関でない」ということは成り立つ」ということは成り立たない fact7: 仮になんらかのものは紅潮しないとしたら「苦くない一方で当該実施機関である」ということは成り立たない fact8: 「もし仮に併合するとすると「苦いけれど当該実施機関でない」ということは事実と異なる」ものはある fact9: 「もし仮に続け為さるとしたら「日本旅行でない一方で注視する」ということは成り立たない」物はある fact10: もし仮にこの金属製品は紅潮しないとすると「苦くないけど当該実施機関である」ということは嘘だ fact11: もしもこの金属製品は併合するとすると「それは苦いけれど当該実施機関でない」ということは成り立つということはない fact12: 「仮に併合するとすると苦くないし当該実施機関でない」ものはある fact13: 仮にこの金属製品は紅潮しないなら「それは苦いけど当該実施機関でない」ということは嘘である fact14: この金属製品は愚かしい fact15: もしもこの金属製品が併合すればそれは苦くないしかつ当該実施機関でない fact16: この金属製品は苦くないし加えて当該実施機関でない fact17: 仮に何かは併合するしそれに愚かしいならば紅潮するということはない ; $hypothesis$ = 「併合するとすれば「「苦いということはないし当該実施機関であるということはない」ということは真実だ」ということは嘘である」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。この金属製品は併合する; assump1 & fact14 -> int1: この金属製品は併合するしそれにそれは愚かしい; fact17 -> int2: 仮にこの金属製品は併合するし更に愚かしいとするとそれは紅潮しない; int1 & int2 -> int3: この金属製品は紅潮しない; fact1 -> int4: もし「この金属製品は紅潮しない」ということは本当であるとしたら「苦くないしその上それは当該実施機関でない」ということは成り立たない; int3 & int4 -> int5: 「「この金属製品は苦いということはないしそれに当該実施機関でない」ということは成り立つ」ということは間違いだ; [assump1] & int5 -> int6: 仮にこの金属製品は併合するとすると「苦くないしさらに当該実施機関でない」ということは誤っている; int6 -> hypothesis; __PROVED__
事実1: 仮にとある物は紅潮しないとすると「それは苦くないしかつ当該実施機関でない」ということは成り立たない
事実2: もしもとある物は六百メートル以下でないなら「続け為さらなくて加えてそれは若者らしくない」ということは成り立たない
事実3: もしも「この金属製品は併合する」ということは正しいなら「苦くないしまたそれは当該実施機関だ」ということは間違っている
事実4: 「この金属製品は苦いけど当該実施機関だということはない」ということは誤りだ
事実5: 「この金属製品は苦くないが当該実施機関である」ということは成り立つということはない
事実6: もしもある物は紅潮するということはないなら「「それは苦いしおまけに当該実施機関でない」ということは成り立つ」ということは成り立たない
事実7: 仮になんらかのものは紅潮しないとしたら「苦くない一方で当該実施機関である」ということは成り立たない
事実8: 「もし仮に併合するとすると「苦いけれど当該実施機関でない」ということは事実と異なる」ものはある
事実9: 「もし仮に続け為さるとしたら「日本旅行でない一方で注視する」ということは成り立たない」物はある
事実10: もし仮にこの金属製品は紅潮しないとすると「苦くないけど当該実施機関である」ということは嘘だ
事実11: もしもこの金属製品は併合するとすると「それは苦いけれど当該実施機関でない」ということは成り立つということはない
事実12: 「仮に併合するとすると苦くないし当該実施機関でない」ものはある
事実13: 仮にこの金属製品は紅潮しないなら「それは苦いけど当該実施機関でない」ということは嘘である
事実14: この金属製品は愚かしい
事実15: もしもこの金属製品が併合すればそれは苦くないしかつ当該実施機関でない
事実16: この金属製品は苦くないし加えて当該実施機関でない
事実17: 仮に何かは併合するしそれに愚かしいならば紅潮するということはない

仮説: 「併合するとすれば「「苦いということはないし当該実施機関であるということはない」ということは真実だ」ということは嘘である」物はある
1. 仮定1: 以下のように仮定する。この金属製品は併合する
2. 仮定1と事実14から、推論1: "この金属製品は併合するしそれにそれは愚かしい"が導かれる
3. 事実17から、推論2: "仮にこの金属製品は併合するし更に愚かしいとするとそれは紅潮しない"が導かれる
4. 推論1と推論2から、推論3: "この金属製品は紅潮しない"が導かれる
5. 事実1から、推論4: "もし「この金属製品は紅潮しない」ということは本当であるとしたら「苦くないしその上それは当該実施機関でない」ということは成り立たない"が導かれる
6. 推論3と推論4から、推論5: "「「この金属製品は苦いということはないしそれに当該実施機関でない」ということは成り立つ」ということは間違いだ"が導かれる
7. [仮定1]と推論5から、推論6: "仮にこの金属製品は併合するとすると「苦くないしさらに当該実施機関でない」ということは誤っている"が導かれる
8. 推論6から、仮説が導かれる

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