このゴム草履は運命付ける
fact1: 仮にこの家計調査年報が奉ずるとしたらこの取り締まり役全員は多端である fact2: なんらかのものは塗りであるかまたはそれは自作するか両方だ fact3: 仮に「影響され易いかもしくは変装する」物はあるとしたら「このゴム草履は運命付ける」ということは事実である fact4: 影響され易い物は多端である fact5: 仮にこの取り締まり役全員が嫌らしいならばあの価値連鎖は影響され易い fact6: そのストラドリング魚種は奉ずる fact7: もしこの家計調査年報は影響され易いならば「あの価値連鎖は多端であるかあるいは奉ぜないかあるいは両方ともである」ということは確かでない fact8: 仮に「変装する」物があるとすればこのゴム草履は運命付ける fact9: もし仮に「この取り締まり役全員は読み売り日本交響楽団であるかそれは運命付けない」ということは誤りならばそれは影響され易い fact10: この家計調査年報は多端である fact11: この家計調査年報は奉ずる fact12: もし仮に「なにかは読み売り日本交響楽団であるかあるいはそれは多端でないか両方だ」ということは正しくないなら嫌らしい fact13: もし仮に「この取り締まり役全員は変装するかもしくは影響され易くないかまたはどちらもである」ということは誤りであるとすると嫌らしい fact14: もしもこの取り締まり役全員が変装するとするとあの価値連鎖は多端である fact15: このゴム草履は読み売り日本交響楽団である fact16: この取り締まり役全員は多端だ fact17: もし仮にこの家計調査年報は嫌らしいならば「この取り締まり役全員は奉ずる」ということは本当である fact18: 「この家計調査年報は読み売り日本交響楽団だ」ということは嘘でない fact19: もしあの価値連鎖が嫌らしいとするとあのスーパーリーチは影響され易い fact20: 仮に「この取り締まり役全員は読み売り日本交響楽団であるかあるいは多端であるかあるいは両方だ」ということは偽であるならばそれは嫌らしい fact21: もし仮にこの家計調査年報は奉ずるとすれば「この取り締まり役全員は読み売り日本交響楽団であるか多端でない」ということは成り立たない fact22: 仮に「何らかの物は読み売り日本交響楽団であるかまたはそれは多端であるかもしくは両方ともである」ということは間違っているとしたら「嫌らしい」ということは成り立つ
fact12 -> int1: もし仮に「この取り締まり役全員は読み売り日本交響楽団であるかもしくは多端でないかもしくは両方ともである」ということは成り立たないとしたら嫌らしい; fact21 & fact11 -> int2: 「この取り締まり役全員は読み売り日本交響楽団であるかもしくは多端でないかもしくはどちらもだ」ということは間違っている; int1 & int2 -> int3: この取り締まり役全員は嫌らしい; int3 & fact5 -> int4: あの価値連鎖は影響され易い; int4 -> int5: 「あの価値連鎖は影響され易いかもしくは変装するかまたはどちらもだ」ということは真実だ; int5 -> int6: 「影響され易いかあるいは変装するかあるいはどちらもである」ものはある; int6 & fact3 -> hypothesis;
あのスーパーリーチは多端だ
fact24 -> int7: 仮にあのスーパーリーチが影響され易いとすると多端だ;
$facts$ = fact1: 仮にこの家計調査年報が奉ずるとしたらこの取り締まり役全員は多端である fact2: なんらかのものは塗りであるかまたはそれは自作するか両方だ fact3: 仮に「影響され易いかもしくは変装する」物はあるとしたら「このゴム草履は運命付ける」ということは事実である fact4: 影響され易い物は多端である fact5: 仮にこの取り締まり役全員が嫌らしいならばあの価値連鎖は影響され易い fact6: そのストラドリング魚種は奉ずる fact7: もしこの家計調査年報は影響され易いならば「あの価値連鎖は多端であるかあるいは奉ぜないかあるいは両方ともである」ということは確かでない fact8: 仮に「変装する」物があるとすればこのゴム草履は運命付ける fact9: もし仮に「この取り締まり役全員は読み売り日本交響楽団であるかそれは運命付けない」ということは誤りならばそれは影響され易い fact10: この家計調査年報は多端である fact11: この家計調査年報は奉ずる fact12: もし仮に「なにかは読み売り日本交響楽団であるかあるいはそれは多端でないか両方だ」ということは正しくないなら嫌らしい fact13: もし仮に「この取り締まり役全員は変装するかもしくは影響され易くないかまたはどちらもである」ということは誤りであるとすると嫌らしい fact14: もしもこの取り締まり役全員が変装するとするとあの価値連鎖は多端である fact15: このゴム草履は読み売り日本交響楽団である fact16: この取り締まり役全員は多端だ fact17: もし仮にこの家計調査年報は嫌らしいならば「この取り締まり役全員は奉ずる」ということは本当である fact18: 「この家計調査年報は読み売り日本交響楽団だ」ということは嘘でない fact19: もしあの価値連鎖が嫌らしいとするとあのスーパーリーチは影響され易い fact20: 仮に「この取り締まり役全員は読み売り日本交響楽団であるかあるいは多端であるかあるいは両方だ」ということは偽であるならばそれは嫌らしい fact21: もし仮にこの家計調査年報は奉ずるとすれば「この取り締まり役全員は読み売り日本交響楽団であるか多端でない」ということは成り立たない fact22: 仮に「何らかの物は読み売り日本交響楽団であるかまたはそれは多端であるかもしくは両方ともである」ということは間違っているとしたら「嫌らしい」ということは成り立つ ; $hypothesis$ = このゴム草履は運命付ける ; $proof$ = 
fact12 -> int1: もし仮に「この取り締まり役全員は読み売り日本交響楽団であるかもしくは多端でないかもしくは両方ともである」ということは成り立たないとしたら嫌らしい; fact21 & fact11 -> int2: 「この取り締まり役全員は読み売り日本交響楽団であるかもしくは多端でないかもしくはどちらもだ」ということは間違っている; int1 & int2 -> int3: この取り締まり役全員は嫌らしい; int3 & fact5 -> int4: あの価値連鎖は影響され易い; int4 -> int5: 「あの価値連鎖は影響され易いかもしくは変装するかまたはどちらもだ」ということは真実だ; int5 -> int6: 「影響され易いかあるいは変装するかあるいはどちらもである」ものはある; int6 & fact3 -> hypothesis; __PROVED__
事実1: 仮にこの家計調査年報が奉ずるとしたらこの取り締まり役全員は多端である
事実2: なんらかのものは塗りであるかまたはそれは自作するか両方だ
事実3: 仮に「影響され易いかもしくは変装する」物はあるとしたら「このゴム草履は運命付ける」ということは事実である
事実4: 影響され易い物は多端である
事実5: 仮にこの取り締まり役全員が嫌らしいならばあの価値連鎖は影響され易い
事実6: そのストラドリング魚種は奉ずる
事実7: もしこの家計調査年報は影響され易いならば「あの価値連鎖は多端であるかあるいは奉ぜないかあるいは両方ともである」ということは確かでない
事実8: 仮に「変装する」物があるとすればこのゴム草履は運命付ける
事実9: もし仮に「この取り締まり役全員は読み売り日本交響楽団であるかそれは運命付けない」ということは誤りならばそれは影響され易い
事実10: この家計調査年報は多端である
事実11: この家計調査年報は奉ずる
事実12: もし仮に「なにかは読み売り日本交響楽団であるかあるいはそれは多端でないか両方だ」ということは正しくないなら嫌らしい
事実13: もし仮に「この取り締まり役全員は変装するかもしくは影響され易くないかまたはどちらもである」ということは誤りであるとすると嫌らしい
事実14: もしもこの取り締まり役全員が変装するとするとあの価値連鎖は多端である
事実15: このゴム草履は読み売り日本交響楽団である
事実16: この取り締まり役全員は多端だ
事実17: もし仮にこの家計調査年報は嫌らしいならば「この取り締まり役全員は奉ずる」ということは本当である
事実18: 「この家計調査年報は読み売り日本交響楽団だ」ということは嘘でない
事実19: もしあの価値連鎖が嫌らしいとするとあのスーパーリーチは影響され易い
事実20: 仮に「この取り締まり役全員は読み売り日本交響楽団であるかあるいは多端であるかあるいは両方だ」ということは偽であるならばそれは嫌らしい
事実21: もし仮にこの家計調査年報は奉ずるとすれば「この取り締まり役全員は読み売り日本交響楽団であるか多端でない」ということは成り立たない
事実22: 仮に「何らかの物は読み売り日本交響楽団であるかまたはそれは多端であるかもしくは両方ともである」ということは間違っているとしたら「嫌らしい」ということは成り立つ

仮説: このゴム草履は運命付ける
1. 事実12から、推論1: "もし仮に「この取り締まり役全員は読み売り日本交響楽団であるかもしくは多端でないかもしくは両方ともである」ということは成り立たないとしたら嫌らしい"が導かれる
2. 事実21と事実11から、推論2: "「この取り締まり役全員は読み売り日本交響楽団であるかもしくは多端でないかもしくはどちらもだ」ということは間違っている"が導かれる
3. 推論1と推論2から、推論3: "この取り締まり役全員は嫌らしい"が導かれる
4. 推論3と事実5から、推論4: "あの価値連鎖は影響され易い"が導かれる
5. 推論4から、推論5: "「あの価値連鎖は影響され易いかもしくは変装するかまたはどちらもだ」ということは真実だ"が導かれる
6. 推論5から、推論6: "「影響され易いかあるいは変装するかあるいはどちらもである」ものはある"が導かれる
7. 推論6と事実3から、仮説が導かれる

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