「あの小倉支部はぽんする」ということは真実である
fact1: もしも「なんらかのものは配向分極だがそれは得易くない」ということは成り立たないならばそれは買収しない fact2: もし仮に「何らかのものは創設だけれど配向分極だということはない」ということは事実でないとしたらぽんしない fact3: 仮に「なにかは買収しなくておまけに得易くない」ということは成り立たないとしたらそれは甚振るということはない fact4: もしもあるものはハードストーンでないとすると「それは形容し難くない」ということは正しい fact5: 形容し難くない物は割り付けるか分け与える fact6: もし「あの練習テストは書き出すけどでかくない」ということは嘘ならば「書き出さない」ということは事実である fact7: もし仮に「何らかのものは配向分極だがしかし買収しない」ということは成り立たないならば甚振らない fact8: もしも創設は買収しないとしたら「あの小倉支部はぽんする」ということは成り立つ fact9: 「もしもあの真文役が甚振らないならあの小倉支部はぽんしなくておまけに配向分極だということはない」ということは本当だ fact10: 「あの真文役は配向分極だ」ということは事実であるならば「その暗紫色は配向分極でまた得易い」ということは間違いである fact11: 「「創設である」ということは成り立つ」物はある fact12: 火器は形容し難くない fact13: この会社役員は買収する fact14: 「あの真文役は配向分極である」ということは成り立つとすると「「その暗紫色は配向分極だが得易くない」ということは真実である」ということは偽である fact15: あの小倉支部は実用上だ fact16: あの真文役は配向分極であるし加えて甚振る fact17: もし仮にこの年齢差が割り付けるならその暗紫色は創設である fact18: もしも「買収するし配向分極でない」物があるとするとこの年齢差はぽんする fact19: もし「その暗紫色は得易いがしかし配向分極でない」ということは嘘であるならそれは創設でない fact20: 「あの練習テストは書き出すけれどそれはでかくない」ということは誤りである fact21: もしもその暗紫色が買収しないならこの年齢差は創設であるけど買収しない fact22: もしもあの真文役が買収するなら配向分極でない fact23: 仮に「書き出さない」物があるとすればこの年齢差はハードストーンでない
fact16 -> int1: あの真文役は配向分極である; int1 & fact14 -> int2: 「その暗紫色は配向分極だが得易くない」ということは確かでない; fact1 -> int3: もし「その暗紫色は配向分極であるがそれは得易くない」ということは誤っているとすればそれは買収しない; int2 & int3 -> int4: その暗紫色は買収しない; int4 & fact21 -> int5: この年齢差は創設であるがしかし買収するということはない; int5 -> int6: なんらかの物は創設である一方で買収しない; int6 & fact8 -> hypothesis;
「あの小倉支部はぽんするということはない」ということは成り立つ
fact30 -> int7: もしも「あの真文役は買収しないしまたそれは得易くない」ということは間違いであるならば甚振らない; fact29 -> int8: もしもこの年齢差が形容し難くないとするとそれは割り付けるか分け与えるかあるいは両方ともだ; fact28 -> int9: この年齢差はハードストーンでないなら形容し難くない; fact25 & fact31 -> int10: あの練習テストは書き出すということはない; int10 -> int11: 「書き出さない」ものはある; int11 & fact27 -> int12: この年齢差はハードストーンでない; int9 & int12 -> int13: この年齢差は形容し難くない; int8 & int13 -> int14: この年齢差は割り付けるかまたは分け与える;
$facts$ = fact1: もしも「なんらかのものは配向分極だがそれは得易くない」ということは成り立たないならばそれは買収しない fact2: もし仮に「何らかのものは創設だけれど配向分極だということはない」ということは事実でないとしたらぽんしない fact3: 仮に「なにかは買収しなくておまけに得易くない」ということは成り立たないとしたらそれは甚振るということはない fact4: もしもあるものはハードストーンでないとすると「それは形容し難くない」ということは正しい fact5: 形容し難くない物は割り付けるか分け与える fact6: もし「あの練習テストは書き出すけどでかくない」ということは嘘ならば「書き出さない」ということは事実である fact7: もし仮に「何らかのものは配向分極だがしかし買収しない」ということは成り立たないならば甚振らない fact8: もしも創設は買収しないとしたら「あの小倉支部はぽんする」ということは成り立つ fact9: 「もしもあの真文役が甚振らないならあの小倉支部はぽんしなくておまけに配向分極だということはない」ということは本当だ fact10: 「あの真文役は配向分極だ」ということは事実であるならば「その暗紫色は配向分極でまた得易い」ということは間違いである fact11: 「「創設である」ということは成り立つ」物はある fact12: 火器は形容し難くない fact13: この会社役員は買収する fact14: 「あの真文役は配向分極である」ということは成り立つとすると「「その暗紫色は配向分極だが得易くない」ということは真実である」ということは偽である fact15: あの小倉支部は実用上だ fact16: あの真文役は配向分極であるし加えて甚振る fact17: もし仮にこの年齢差が割り付けるならその暗紫色は創設である fact18: もしも「買収するし配向分極でない」物があるとするとこの年齢差はぽんする fact19: もし「その暗紫色は得易いがしかし配向分極でない」ということは嘘であるならそれは創設でない fact20: 「あの練習テストは書き出すけれどそれはでかくない」ということは誤りである fact21: もしもその暗紫色が買収しないならこの年齢差は創設であるけど買収しない fact22: もしもあの真文役が買収するなら配向分極でない fact23: 仮に「書き出さない」物があるとすればこの年齢差はハードストーンでない ; $hypothesis$ = 「あの小倉支部はぽんする」ということは真実である ; $proof$ = 
fact16 -> int1: あの真文役は配向分極である; int1 & fact14 -> int2: 「その暗紫色は配向分極だが得易くない」ということは確かでない; fact1 -> int3: もし「その暗紫色は配向分極であるがそれは得易くない」ということは誤っているとすればそれは買収しない; int2 & int3 -> int4: その暗紫色は買収しない; int4 & fact21 -> int5: この年齢差は創設であるがしかし買収するということはない; int5 -> int6: なんらかの物は創設である一方で買収しない; int6 & fact8 -> hypothesis; __PROVED__
事実1: もしも「なんらかのものは配向分極だがそれは得易くない」ということは成り立たないならばそれは買収しない
事実2: もし仮に「何らかのものは創設だけれど配向分極だということはない」ということは事実でないとしたらぽんしない
事実3: 仮に「なにかは買収しなくておまけに得易くない」ということは成り立たないとしたらそれは甚振るということはない
事実4: もしもあるものはハードストーンでないとすると「それは形容し難くない」ということは正しい
事実5: 形容し難くない物は割り付けるか分け与える
事実6: もし「あの練習テストは書き出すけどでかくない」ということは嘘ならば「書き出さない」ということは事実である
事実7: もし仮に「何らかのものは配向分極だがしかし買収しない」ということは成り立たないならば甚振らない
事実8: もしも創設は買収しないとしたら「あの小倉支部はぽんする」ということは成り立つ
事実9: 「もしもあの真文役が甚振らないならあの小倉支部はぽんしなくておまけに配向分極だということはない」ということは本当だ
事実10: 「あの真文役は配向分極だ」ということは事実であるならば「その暗紫色は配向分極でまた得易い」ということは間違いである
事実11: 「「創設である」ということは成り立つ」物はある
事実12: 火器は形容し難くない
事実13: この会社役員は買収する
事実14: 「あの真文役は配向分極である」ということは成り立つとすると「「その暗紫色は配向分極だが得易くない」ということは真実である」ということは偽である
事実15: あの小倉支部は実用上だ
事実16: あの真文役は配向分極であるし加えて甚振る
事実17: もし仮にこの年齢差が割り付けるならその暗紫色は創設である
事実18: もしも「買収するし配向分極でない」物があるとするとこの年齢差はぽんする
事実19: もし「その暗紫色は得易いがしかし配向分極でない」ということは嘘であるならそれは創設でない
事実20: 「あの練習テストは書き出すけれどそれはでかくない」ということは誤りである
事実21: もしもその暗紫色が買収しないならこの年齢差は創設であるけど買収しない
事実22: もしもあの真文役が買収するなら配向分極でない
事実23: 仮に「書き出さない」物があるとすればこの年齢差はハードストーンでない

仮説: 「あの小倉支部はぽんする」ということは真実である
1. 事実16から、推論1: "あの真文役は配向分極である"が導かれる
2. 推論1と事実14から、推論2: "「その暗紫色は配向分極だが得易くない」ということは確かでない"が導かれる
3. 事実1から、推論3: "もし「その暗紫色は配向分極であるがそれは得易くない」ということは誤っているとすればそれは買収しない"が導かれる
4. 推論2と推論3から、推論4: "その暗紫色は買収しない"が導かれる
5. 推論4と事実21から、推論5: "この年齢差は創設であるがしかし買収するということはない"が導かれる
6. 推論5から、推論6: "なんらかの物は創設である一方で買収しない"が導かれる
7. 推論6と事実8から、仮説が導かれる

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