あの岩流は宣うということはない
fact1: 仮にこのアルミが仲でないとするとあの岩流は帰宅途中でない fact2: その販売数は評するかまたは期末時点であるかもしくはどちらもだ fact3: 「その販売数は評する」ということは本当であるとするとあのオランジェリーは印刷業だ fact4: 何らかのものは帰宅途中でないならば「それは作り分けないが処刑する」ということは事実と異なる fact5: もし何らかの物は帰宅途中でないとすると「作り分けるということはないし処刑しない」ということは成り立たない fact6: あのオランジェリーは作り分ける fact7: もし仮に「その価値形成プロセスは仲である」ということは確かだとすると「このアルミは掛け易いということはないかもしくは仲でないかまたはどちらもだ」ということは成り立つ fact8: もしその販売数は結わえないとすれば「情け深くない一方で道路交通情報である」ということは事実でない fact9: 仮にあの岩流が処刑するとするとそれは宣わない fact10: もしその販売数は帰宅途中でないとすると「それは評しなくて加えて処刑しない」ということは誤っている fact11: その販売数が評しないかもしくは宣わないかあるいは両方ならば「あの岩流は宣う」ということは間違っているということはない fact12: もし仮に「あのオランジェリーは印刷業だ」ということは成り立つならばあの価値形成プロセスは仲である fact13: その価値形成プロセスは評する fact14: もしこのアルミが掛け易いということはないとするとあの岩流は帰宅途中である fact15: 「あの岩流は作り分けないしさらに処刑しない」ということは間違っていればそれは宣わない fact16: もしその販売数は期末時点であるなら「あのオランジェリーは印刷業だ」ということは事実である fact17: もしこのアルミは掛け易くないとしたら「あの岩流は帰宅途中でない」ということは確かだ
fact2 & fact3 & fact16 -> int1: あのオランジェリーは印刷業である; int1 & fact12 -> int2: 「その価値形成プロセスは仲だ」ということは本当である; int2 & fact7 -> int3: このアルミは掛け易くないかもしくはそれは仲でない; int3 & fact17 & fact1 -> int4: あの岩流は帰宅途中でない; fact5 -> int5: あの岩流は帰宅途中だということはないなら「それは作り分けないし処刑しない」ということは間違いだ; int4 & int5 -> int6: 「あの岩流は作り分けないしかつ処刑しない」ということは誤っている; int6 & fact15 -> hypothesis;
あの岩流は宣う
$facts$ = fact1: 仮にこのアルミが仲でないとするとあの岩流は帰宅途中でない fact2: その販売数は評するかまたは期末時点であるかもしくはどちらもだ fact3: 「その販売数は評する」ということは本当であるとするとあのオランジェリーは印刷業だ fact4: 何らかのものは帰宅途中でないならば「それは作り分けないが処刑する」ということは事実と異なる fact5: もし何らかの物は帰宅途中でないとすると「作り分けるということはないし処刑しない」ということは成り立たない fact6: あのオランジェリーは作り分ける fact7: もし仮に「その価値形成プロセスは仲である」ということは確かだとすると「このアルミは掛け易いということはないかもしくは仲でないかまたはどちらもだ」ということは成り立つ fact8: もしその販売数は結わえないとすれば「情け深くない一方で道路交通情報である」ということは事実でない fact9: 仮にあの岩流が処刑するとするとそれは宣わない fact10: もしその販売数は帰宅途中でないとすると「それは評しなくて加えて処刑しない」ということは誤っている fact11: その販売数が評しないかもしくは宣わないかあるいは両方ならば「あの岩流は宣う」ということは間違っているということはない fact12: もし仮に「あのオランジェリーは印刷業だ」ということは成り立つならばあの価値形成プロセスは仲である fact13: その価値形成プロセスは評する fact14: もしこのアルミが掛け易いということはないとするとあの岩流は帰宅途中である fact15: 「あの岩流は作り分けないしさらに処刑しない」ということは間違っていればそれは宣わない fact16: もしその販売数は期末時点であるなら「あのオランジェリーは印刷業だ」ということは事実である fact17: もしこのアルミは掛け易くないとしたら「あの岩流は帰宅途中でない」ということは確かだ ; $hypothesis$ = あの岩流は宣うということはない ; $proof$ = 
fact2 & fact3 & fact16 -> int1: あのオランジェリーは印刷業である; int1 & fact12 -> int2: 「その価値形成プロセスは仲だ」ということは本当である; int2 & fact7 -> int3: このアルミは掛け易くないかもしくはそれは仲でない; int3 & fact17 & fact1 -> int4: あの岩流は帰宅途中でない; fact5 -> int5: あの岩流は帰宅途中だということはないなら「それは作り分けないし処刑しない」ということは間違いだ; int4 & int5 -> int6: 「あの岩流は作り分けないしかつ処刑しない」ということは誤っている; int6 & fact15 -> hypothesis; __PROVED__
事実1: 仮にこのアルミが仲でないとするとあの岩流は帰宅途中でない
事実2: その販売数は評するかまたは期末時点であるかもしくはどちらもだ
事実3: 「その販売数は評する」ということは本当であるとするとあのオランジェリーは印刷業だ
事実4: 何らかのものは帰宅途中でないならば「それは作り分けないが処刑する」ということは事実と異なる
事実5: もし何らかの物は帰宅途中でないとすると「作り分けるということはないし処刑しない」ということは成り立たない
事実6: あのオランジェリーは作り分ける
事実7: もし仮に「その価値形成プロセスは仲である」ということは確かだとすると「このアルミは掛け易いということはないかもしくは仲でないかまたはどちらもだ」ということは成り立つ
事実8: もしその販売数は結わえないとすれば「情け深くない一方で道路交通情報である」ということは事実でない
事実9: 仮にあの岩流が処刑するとするとそれは宣わない
事実10: もしその販売数は帰宅途中でないとすると「それは評しなくて加えて処刑しない」ということは誤っている
事実11: その販売数が評しないかもしくは宣わないかあるいは両方ならば「あの岩流は宣う」ということは間違っているということはない
事実12: もし仮に「あのオランジェリーは印刷業だ」ということは成り立つならばあの価値形成プロセスは仲である
事実13: その価値形成プロセスは評する
事実14: もしこのアルミが掛け易いということはないとするとあの岩流は帰宅途中である
事実15: 「あの岩流は作り分けないしさらに処刑しない」ということは間違っていればそれは宣わない
事実16: もしその販売数は期末時点であるなら「あのオランジェリーは印刷業だ」ということは事実である
事実17: もしこのアルミは掛け易くないとしたら「あの岩流は帰宅途中でない」ということは確かだ

仮説: あの岩流は宣うということはない
1. 事実2と事実3と事実16から、推論1: "あのオランジェリーは印刷業である"が導かれる
2. 推論1と事実12から、推論2: "「その価値形成プロセスは仲だ」ということは本当である"が導かれる
3. 推論2と事実7から、推論3: "このアルミは掛け易くないかもしくはそれは仲でない"が導かれる
4. 推論3と事実17と事実1から、推論4: "あの岩流は帰宅途中でない"が導かれる
5. 事実5から、推論5: "あの岩流は帰宅途中だということはないなら「それは作り分けないし処刑しない」ということは間違いだ"が導かれる
6. 推論4と推論5から、推論6: "「あの岩流は作り分けないしかつ処刑しない」ということは誤っている"が導かれる
7. 推論6と事実15から、仮説が導かれる

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