その連結完全支配関係が相次はなくて当て擦るということはない
fact1: 「その風味はめげるし生じ始める」ということは間違っている fact2: その連結完全支配関係は標準予防策だ fact3: なにがしかのものは技術教育でないかもしくは花開くか両方ともだとすれば「花開く」ということは確かである fact4: もしなにかは取っ捕まえないなら「相次はないしまた当て擦らない」ということは間違いだ fact5: 標準予防策は技術教育でないかもしくは花開くかまたはどちらもである fact6: 「もしあの胡弓は花開くしおまけにノーザンだとしたら「その主効果は標準予防策でない」ということは確かだ」ということは成り立つ fact7: あの職種は流浪でないしさらにそれは花開くということはない fact8: その連結完全支配関係は技術教育である fact9: もしもその風味が技術教育でないとしたらその連結完全支配関係は相次ぐということはないしおまけにそれは当て擦らない fact10: その連結完全支配関係は当て擦らない fact11: あのアレルギー用マーガリンは取っ捕まえる fact12: その主効果は標準予防策である fact13: もし「その風味はノーザンでない」ということは確かであるとすればそれは技術教育でない fact14: その風味が当て擦らないとしたらその連結完全支配関係はノーザンでない fact15: その風味が技術教育でないならその連結完全支配関係は当て擦らない fact16: もしもあのキッチンセットが取っ捕まえるとするとあの胡弓は花開く fact17: その風味は取っ捕まえない fact18: もし仮にあのキッチンセットが取っ捕まえないけどそれはノーザンであるとしたら「その連結完全支配関係は取っ捕まえる」ということは確かである fact19: あのキッチンセットは取っ捕まえる fact20: もしなんらかの物が花開くしノーザンであるとするとそれは取っ捕まえない fact21: 仮に「あの胡弓はノーザンでない」ということは真実であるとしたら「その風味は根治するしその上ノーザンだ」ということは誤っている fact22: 仮に「その風味は根治するしノーザンだ」ということは成り立つということはないとしたら技術教育でない
fact16 & fact19 -> int1: 「あの胡弓は花開く」ということは事実である; void -> assump1: 以下のように仮定する。あの胡弓はノーザンである; int1 & assump1 -> int2: あの胡弓は花開くしそれにノーザンだ; int2 & fact6 -> int3: その主効果は標準予防策でない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの胡弓はノーザンであるということはない; int5 & fact21 -> int6: 「その風味は根治するし加えてそれはノーザンである」ということは誤りである; int6 & fact22 -> int7: その風味は技術教育でない; int7 & fact9 -> hypothesis;
「その連結完全支配関係が相次はなくて加えて当て擦らない」ということは事実と異なる
fact25 -> int8: その連結完全支配関係は取っ捕まえないなら「それが相次はないしおまけに当て擦らない」ということは事実と異なる; fact27 -> int9: その連結完全支配関係が花開くしまたノーザンであるとしたらそれは取っ捕まえない; fact23 -> int10: もしその連結完全支配関係は技術教育でないかもしくは花開くか両方ともであるとすると花開く; fact24 -> int11: その連結完全支配関係が標準予防策なら技術教育だということはないか花開くかあるいはどちらもである; int11 & fact26 -> int12: その連結完全支配関係は技術教育でないかあるいは花開くかもしくは両方である; int10 & int12 -> int13: その連結完全支配関係は花開く;
$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$ = 
fact16 & fact19 -> int1: 「あの胡弓は花開く」ということは事実である; void -> assump1: 以下のように仮定する。あの胡弓はノーザンである; int1 & assump1 -> int2: あの胡弓は花開くしそれにノーザンだ; int2 & fact6 -> int3: その主効果は標準予防策でない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの胡弓はノーザンであるということはない; int5 & fact21 -> int6: 「その風味は根治するし加えてそれはノーザンである」ということは誤りである; int6 & fact22 -> int7: その風味は技術教育でない; int7 & fact9 -> 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. 事実16と事実19から、推論1: "「あの胡弓は花開く」ということは事実である"が導かれる
2. 仮定1: 以下のように仮定する。あの胡弓はノーザンである
3. 推論1と仮定1から、推論2: "あの胡弓は花開くしそれにノーザンだ"が導かれる
4. 推論2と事実6から、推論3: "その主効果は標準予防策でない"が導かれる
5. 推論3と事実12から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの胡弓はノーザンであるということはない"が導かれる
7. 推論5と事実21から、推論6: "「その風味は根治するし加えてそれはノーザンである」ということは誤りである"が導かれる
8. 推論6と事実22から、推論7: "その風味は技術教育でない"が導かれる
9. 推論7と事実9から、仮説が導かれる

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