そのライバル企業は集まり始めない
fact1: あの荻は聞き易いしそれはリージョンだ fact2: もし仮に「「厚しないけどリージョンである」ということは成り立たない」ものがあればそのライバル企業は心弱い fact3: もし仮にあるものは凄いし更にユニオンジャックだとすると「それは集まり始めるということはない」ということは成り立つ fact4: もしもなにがしかの物はユニオンジャックであるということはないならば「除却するしかつ聞き易い」ということは成り立たない fact5: その主遣いは再設計だ fact6: もしも「あの荻は聞き易くてまた凄い」ということは事実と異なるとしたらそのライバル企業はリージョンでない fact7: もし仮に「なにかはユニオンジャックであるがそれは集まり始めない」ということは事実と異なるならそれは集まり始める fact8: 「その住宅地造成事業は集まり始めないけど心弱い」ということは成り立たないならばあの車軸は凄い fact9: 「その主遣いは囁くしそれは除却する」ということは事実と異なる fact10: もし「そのライバル企業は除却するし加えて聞き易い」ということは誤っているとするとその主遣いは領土的野心でない fact11: その主遣いは領土的野心である fact12: もしもこの車軸は凄いとしたら「あの感嘆符は領土的野心でないけどユニオンジャックである」ということは誤っている fact13: 「「あの荻は厚しない一方でそれはリージョンだ」ということは成り立つ」ということは正しいということはない fact14: 仮になにかは厚しならば「「それは集まり始めないしその上心弱い」ということは事実だ」ということは誤りである fact15: とあるものは領土的野心だとすれば「「それはユニオンジャックだけれど集まり始めない」ということは正しい」ということは成り立つということはない fact16: 「その学期末試験は焼失するし加えて集まり始める」ということは成り立つ fact17: もしもなにかは心弱いとしたら凄い
fact4 -> int1: そのライバル企業はユニオンジャックでないなら「それは除却するしかつ聞き易い」ということは嘘だ; void -> assump1: 以下のように仮定する。そのライバル企業はユニオンジャックでない; int1 & assump1 -> int2: 「「そのライバル企業は除却するしそれは聞き易い」ということは間違いである」ということは確かである; int2 & fact10 -> int3: その主遣いは領土的野心でない; int3 & fact11 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのライバル企業はユニオンジャックだ; fact17 -> int6: 「仮にそのライバル企業が心弱いとするとそのライバル企業は凄い」ということは確かだ; fact13 -> int7: 「「厚しないリージョンである」ということは間違いである」物はある; fact2 & int7 -> int8: 「そのライバル企業は心弱い」ということは正しい; int6 & int8 -> int9: そのライバル企業は凄い; int5 & int9 -> int10: そのライバル企業は凄いしそれにユニオンジャックだ; fact3 -> int11: もし仮にそのライバル企業は凄いしその上ユニオンジャックであるとするとそれは集まり始めるということはない; int10 & int11 -> hypothesis;
そのライバル企業は集まり始める
fact18 -> int12: 「そのライバル企業はユニオンジャックだけど集まり始めない」ということは成り立たないとするとそれは集まり始める; fact19 -> int13: もしそのライバル企業は領土的野心であるならば「それはユニオンジャックでそれは集まり始めない」ということは成り立たない;
$facts$ = fact1: あの荻は聞き易いしそれはリージョンだ fact2: もし仮に「「厚しないけどリージョンである」ということは成り立たない」ものがあればそのライバル企業は心弱い fact3: もし仮にあるものは凄いし更にユニオンジャックだとすると「それは集まり始めるということはない」ということは成り立つ fact4: もしもなにがしかの物はユニオンジャックであるということはないならば「除却するしかつ聞き易い」ということは成り立たない fact5: その主遣いは再設計だ fact6: もしも「あの荻は聞き易くてまた凄い」ということは事実と異なるとしたらそのライバル企業はリージョンでない fact7: もし仮に「なにかはユニオンジャックであるがそれは集まり始めない」ということは事実と異なるならそれは集まり始める fact8: 「その住宅地造成事業は集まり始めないけど心弱い」ということは成り立たないならばあの車軸は凄い fact9: 「その主遣いは囁くしそれは除却する」ということは事実と異なる fact10: もし「そのライバル企業は除却するし加えて聞き易い」ということは誤っているとするとその主遣いは領土的野心でない fact11: その主遣いは領土的野心である fact12: もしもこの車軸は凄いとしたら「あの感嘆符は領土的野心でないけどユニオンジャックである」ということは誤っている fact13: 「「あの荻は厚しない一方でそれはリージョンだ」ということは成り立つ」ということは正しいということはない fact14: 仮になにかは厚しならば「「それは集まり始めないしその上心弱い」ということは事実だ」ということは誤りである fact15: とあるものは領土的野心だとすれば「「それはユニオンジャックだけれど集まり始めない」ということは正しい」ということは成り立つということはない fact16: 「その学期末試験は焼失するし加えて集まり始める」ということは成り立つ fact17: もしもなにかは心弱いとしたら凄い ; $hypothesis$ = そのライバル企業は集まり始めない ; $proof$ = 
fact4 -> int1: そのライバル企業はユニオンジャックでないなら「それは除却するしかつ聞き易い」ということは嘘だ; void -> assump1: 以下のように仮定する。そのライバル企業はユニオンジャックでない; int1 & assump1 -> int2: 「「そのライバル企業は除却するしそれは聞き易い」ということは間違いである」ということは確かである; int2 & fact10 -> int3: その主遣いは領土的野心でない; int3 & fact11 -> int4: これは矛盾である; [assump1] & int4 -> int5: そのライバル企業はユニオンジャックだ; fact17 -> int6: 「仮にそのライバル企業が心弱いとするとそのライバル企業は凄い」ということは確かだ; fact13 -> int7: 「「厚しないリージョンである」ということは間違いである」物はある; fact2 & int7 -> int8: 「そのライバル企業は心弱い」ということは正しい; int6 & int8 -> int9: そのライバル企業は凄い; int5 & int9 -> int10: そのライバル企業は凄いしそれにユニオンジャックだ; fact3 -> int11: もし仮にそのライバル企業は凄いしその上ユニオンジャックであるとするとそれは集まり始めるということはない; int10 & int11 -> hypothesis; __PROVED__
事実1: あの荻は聞き易いしそれはリージョンだ
事実2: もし仮に「「厚しないけどリージョンである」ということは成り立たない」ものがあればそのライバル企業は心弱い
事実3: もし仮にあるものは凄いし更にユニオンジャックだとすると「それは集まり始めるということはない」ということは成り立つ
事実4: もしもなにがしかの物はユニオンジャックであるということはないならば「除却するしかつ聞き易い」ということは成り立たない
事実5: その主遣いは再設計だ
事実6: もしも「あの荻は聞き易くてまた凄い」ということは事実と異なるとしたらそのライバル企業はリージョンでない
事実7: もし仮に「なにかはユニオンジャックであるがそれは集まり始めない」ということは事実と異なるならそれは集まり始める
事実8: 「その住宅地造成事業は集まり始めないけど心弱い」ということは成り立たないならばあの車軸は凄い
事実9: 「その主遣いは囁くしそれは除却する」ということは事実と異なる
事実10: もし「そのライバル企業は除却するし加えて聞き易い」ということは誤っているとするとその主遣いは領土的野心でない
事実11: その主遣いは領土的野心である
事実12: もしもこの車軸は凄いとしたら「あの感嘆符は領土的野心でないけどユニオンジャックである」ということは誤っている
事実13: 「「あの荻は厚しない一方でそれはリージョンだ」ということは成り立つ」ということは正しいということはない
事実14: 仮になにかは厚しならば「「それは集まり始めないしその上心弱い」ということは事実だ」ということは誤りである
事実15: とあるものは領土的野心だとすれば「「それはユニオンジャックだけれど集まり始めない」ということは正しい」ということは成り立つということはない
事実16: 「その学期末試験は焼失するし加えて集まり始める」ということは成り立つ
事実17: もしもなにかは心弱いとしたら凄い

仮説: そのライバル企業は集まり始めない
1. 事実4から、推論1: "そのライバル企業はユニオンジャックでないなら「それは除却するしかつ聞き易い」ということは嘘だ"が導かれる
2. 仮定1: 以下のように仮定する。そのライバル企業はユニオンジャックでない
3. 推論1と仮定1から、推論2: "「「そのライバル企業は除却するしそれは聞き易い」ということは間違いである」ということは確かである"が導かれる
4. 推論2と事実10から、推論3: "その主遣いは領土的野心でない"が導かれる
5. 推論3と事実11から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "そのライバル企業はユニオンジャックだ"が導かれる
7. 事実17から、推論6: "「仮にそのライバル企業が心弱いとするとそのライバル企業は凄い」ということは確かだ"が導かれる
8. 事実13から、推論7: "「「厚しないリージョンである」ということは間違いである」物はある"が導かれる
9. 事実2と推論7から、推論8: "「そのライバル企業は心弱い」ということは正しい"が導かれる
10. 推論6と推論8から、推論9: "そのライバル企業は凄い"が導かれる
11. 推論5と推論9から、推論10: "そのライバル企業は凄いしそれにユニオンジャックだ"が導かれる
12. 事実3から、推論11: "もし仮にそのライバル企業は凄いしその上ユニオンジャックであるとするとそれは集まり始めるということはない"が導かれる
13. 推論10と推論11から、仮説が導かれる

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