この国外追放は御付き合い頂かない
fact1: もしもこの国外追放が御付き合い頂く一方でソ連側でないとするとそれは開隊しない fact2: あの普遍性は魚達でない fact3: あの普遍性は起き易い fact4: もし仮にあの普遍性はソ連側でないとすれば「この国外追放はソ連側でなくておまけにそれは起き易くない」ということは嘘である fact5: 仮に「何かはソ連側だということはないし練り混ぜない」ということは事実でないとすればそれは御付き合い頂くということはない fact6: あの普遍性は練り混ぜるがしかしソ連側だということはないとするとそれは開隊しない fact7: もしも程遠いということはないものが開隊しないならソ連側だということはない fact8: もし仮に「ある物は塩っ辛くないしその上記号化しない」ということは成り立たないとしたらそれは温め直さない fact9: もしもこの加盟が起き易いならこの国外追放は御付き合い頂く fact10: もし仮に話し易いということはないものは満足でないならそれは懐かしない fact11: その野草はソ連側である fact12: 仮にあの普遍性はソ連側でないとすると「この国外追放はソ連側でなくてまたそれは練り混ぜない」ということは誤っている fact13: もし仮にこの加盟はヨーロッパ列強でないならば「この国外追放は御付き合い頂かないが練り混ぜる」ということは正しくない fact14: 仮に「あの高円宮賞はソ連側でなくてまたそれは練り混ぜない」ということは偽ならこの加盟は起き易い fact15: もしも何かは起き易いとすると程遠くないしさらに開隊しない fact16: あの普遍性は先着でない
fact15 -> int1: 仮にあの普遍性が起き易いとしたら程遠くないし開隊しない; int1 & fact3 -> int2: あの普遍性は程遠くなくてしかも開隊しない; fact7 -> int3: もしもあの普遍性が程遠くなくてその上開隊しないならそれはソ連側でない; int2 & int3 -> int4: 「あの普遍性はソ連側でない」ということは真実である; int4 & fact12 -> int5: 「この国外追放はソ連側だということはなくておまけに練り混ぜない」ということは嘘だ; fact5 -> int6: もし「この国外追放はソ連側であるということはなくて練り混ぜない」ということは誤っているとすると御付き合い頂かない; int5 & int6 -> hypothesis;
あのボクシーは世襲しなくて更にソ連側でない
$facts$ = fact1: もしもこの国外追放が御付き合い頂く一方でソ連側でないとするとそれは開隊しない fact2: あの普遍性は魚達でない fact3: あの普遍性は起き易い fact4: もし仮にあの普遍性はソ連側でないとすれば「この国外追放はソ連側でなくておまけにそれは起き易くない」ということは嘘である fact5: 仮に「何かはソ連側だということはないし練り混ぜない」ということは事実でないとすればそれは御付き合い頂くということはない fact6: あの普遍性は練り混ぜるがしかしソ連側だということはないとするとそれは開隊しない fact7: もしも程遠いということはないものが開隊しないならソ連側だということはない fact8: もし仮に「ある物は塩っ辛くないしその上記号化しない」ということは成り立たないとしたらそれは温め直さない fact9: もしもこの加盟が起き易いならこの国外追放は御付き合い頂く fact10: もし仮に話し易いということはないものは満足でないならそれは懐かしない fact11: その野草はソ連側である fact12: 仮にあの普遍性はソ連側でないとすると「この国外追放はソ連側でなくてまたそれは練り混ぜない」ということは誤っている fact13: もし仮にこの加盟はヨーロッパ列強でないならば「この国外追放は御付き合い頂かないが練り混ぜる」ということは正しくない fact14: 仮に「あの高円宮賞はソ連側でなくてまたそれは練り混ぜない」ということは偽ならこの加盟は起き易い fact15: もしも何かは起き易いとすると程遠くないしさらに開隊しない fact16: あの普遍性は先着でない ; $hypothesis$ = この国外追放は御付き合い頂かない ; $proof$ = 
fact15 -> int1: 仮にあの普遍性が起き易いとしたら程遠くないし開隊しない; int1 & fact3 -> int2: あの普遍性は程遠くなくてしかも開隊しない; fact7 -> int3: もしもあの普遍性が程遠くなくてその上開隊しないならそれはソ連側でない; int2 & int3 -> int4: 「あの普遍性はソ連側でない」ということは真実である; int4 & fact12 -> int5: 「この国外追放はソ連側だということはなくておまけに練り混ぜない」ということは嘘だ; fact5 -> int6: もし「この国外追放はソ連側であるということはなくて練り混ぜない」ということは誤っているとすると御付き合い頂かない; int5 & int6 -> hypothesis; __PROVED__
事実1: もしもこの国外追放が御付き合い頂く一方でソ連側でないとするとそれは開隊しない
事実2: あの普遍性は魚達でない
事実3: あの普遍性は起き易い
事実4: もし仮にあの普遍性はソ連側でないとすれば「この国外追放はソ連側でなくておまけにそれは起き易くない」ということは嘘である
事実5: 仮に「何かはソ連側だということはないし練り混ぜない」ということは事実でないとすればそれは御付き合い頂くということはない
事実6: あの普遍性は練り混ぜるがしかしソ連側だということはないとするとそれは開隊しない
事実7: もしも程遠いということはないものが開隊しないならソ連側だということはない
事実8: もし仮に「ある物は塩っ辛くないしその上記号化しない」ということは成り立たないとしたらそれは温め直さない
事実9: もしもこの加盟が起き易いならこの国外追放は御付き合い頂く
事実10: もし仮に話し易いということはないものは満足でないならそれは懐かしない
事実11: その野草はソ連側である
事実12: 仮にあの普遍性はソ連側でないとすると「この国外追放はソ連側でなくてまたそれは練り混ぜない」ということは誤っている
事実13: もし仮にこの加盟はヨーロッパ列強でないならば「この国外追放は御付き合い頂かないが練り混ぜる」ということは正しくない
事実14: 仮に「あの高円宮賞はソ連側でなくてまたそれは練り混ぜない」ということは偽ならこの加盟は起き易い
事実15: もしも何かは起き易いとすると程遠くないしさらに開隊しない
事実16: あの普遍性は先着でない

仮説: この国外追放は御付き合い頂かない
1. 事実15から、推論1: "仮にあの普遍性が起き易いとしたら程遠くないし開隊しない"が導かれる
2. 推論1と事実3から、推論2: "あの普遍性は程遠くなくてしかも開隊しない"が導かれる
3. 事実7から、推論3: "もしもあの普遍性が程遠くなくてその上開隊しないならそれはソ連側でない"が導かれる
4. 推論2と推論3から、推論4: "「あの普遍性はソ連側でない」ということは真実である"が導かれる
5. 推論4と事実12から、推論5: "「この国外追放はソ連側だということはなくておまけに練り混ぜない」ということは嘘だ"が導かれる
6. 事実5から、推論6: "もし「この国外追放はソ連側であるということはなくて練り混ぜない」ということは誤っているとすると御付き合い頂かない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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