その多元主義は惨い
fact1: もしあのビー玉は惨いなら「その編集担当は新規参入しないけれどそれは厳めしい」ということは事実と異なる fact2: 仮になにがしかの物が集まり出さないとするとそれはキュクロプスでないかもしくは分かり易くないかまたはどちらもである fact3: あの高齢者介護は新規参入しないが厳めしい fact4: 厳めしいし惨い物はある fact5: この妥当は新規参入する fact6: 「「この自由学園が不足し易いしその上それは単一材である」ということは間違っている」ということは真実だとするとあの横波は集まり出さない fact7: あの高齢者介護は厳めしい fact8: もしも何かは新規参入するということはないがしかし厳めしいとすれば「その多元主義は惨い」ということは成り立つ fact9: 「惨くないがしかし厳めしい」ものはある fact10: もし仮にこの老人ホームが新規参入するならその多元主義は得難くないが古し fact11: あの横波がキュクロプスでないか分かり易いということはないとすればそのスポット群は儚い fact12: 「自発分極する」ものはある fact13: 「惨い」ものはある fact14: もし「なんらかの物は病める」ということは正しいならばそれはヘア＆メイクでないけど絶句する fact15: もしも「何かはヘア＆メイクでない一方で絶句する」ということは成り立てば外注しない fact16: もし何らかの物が儚いとしたら病める fact17: もし仮に「そのスポット群は外注しない」ということは成り立つとするとあのビー玉は惨いしその上倒れ難い fact18: あるものは惨いしまた厳めしい fact19: もし「「新規参入しないししかも厳めしい」ということは偽な」物があるならこの老人ホームは新規参入する fact20: 「この自由学園は不足し易いしまた単一材だ」ということは偽だ fact21: 「蝶結びでない」物はある
fact3 -> int1: ある物は新規参入しないがしかし厳めしい; int1 & fact8 -> hypothesis;
fact3 -> int1: (Ex): (¬{A}x & {B}x); int1 & fact8 -> hypothesis;
得難いということはなくて古しものはある
fact32 -> int2: もしそのスポット群はヘア＆メイクでないがしかし絶句するとすればそれは外注しない; fact31 -> int3: もしもそのスポット群が病めるとしたらそれはヘア＆メイクでないしそれにそれは絶句する; fact27 -> int4: もし仮にそのスポット群が儚いならそれは病める; fact26 -> int5: もしもあの横波が集まり出さないとすればキュクロプスでないかそれは分かり易くないか両方である; fact25 & fact28 -> int6: あの横波は集まり出さない; int5 & int6 -> int7: あの横波はキュクロプスでないかもしくは分かり易くない; fact23 & int7 -> int8: そのスポット群は儚い; int4 & int8 -> int9: そのスポット群は病める; int3 & int9 -> int10: そのスポット群はヘア＆メイクでないけど絶句する; int2 & int10 -> int11: そのスポット群は外注しない; fact24 & int11 -> int12: あのビー玉は惨くて更に倒れ難い; int12 -> int13: あのビー玉は惨い; fact22 & int13 -> int14: 「その編集担当は新規参入しないけど厳めしい」ということは嘘だ; int14 -> int15: 「「新規参入しないし加えて厳めしい」ということは偽である」物はある; int15 & fact29 -> int16: 「この老人ホームは新規参入する」ということは成り立つ; fact30 & int16 -> int17: その多元主義は得難くないがしかし古し; int17 -> hypothesis;
$facts$ = fact1: もしあのビー玉は惨いなら「その編集担当は新規参入しないけれどそれは厳めしい」ということは事実と異なる fact2: 仮になにがしかの物が集まり出さないとするとそれはキュクロプスでないかもしくは分かり易くないかまたはどちらもである fact3: あの高齢者介護は新規参入しないが厳めしい fact4: 厳めしいし惨い物はある fact5: この妥当は新規参入する fact6: 「「この自由学園が不足し易いしその上それは単一材である」ということは間違っている」ということは真実だとするとあの横波は集まり出さない fact7: あの高齢者介護は厳めしい fact8: もしも何かは新規参入するということはないがしかし厳めしいとすれば「その多元主義は惨い」ということは成り立つ fact9: 「惨くないがしかし厳めしい」ものはある fact10: もし仮にこの老人ホームが新規参入するならその多元主義は得難くないが古し fact11: あの横波がキュクロプスでないか分かり易いということはないとすればそのスポット群は儚い fact12: 「自発分極する」ものはある fact13: 「惨い」ものはある fact14: もし「なんらかの物は病める」ということは正しいならばそれはヘア＆メイクでないけど絶句する fact15: もしも「何かはヘア＆メイクでない一方で絶句する」ということは成り立てば外注しない fact16: もし何らかの物が儚いとしたら病める fact17: もし仮に「そのスポット群は外注しない」ということは成り立つとするとあのビー玉は惨いしその上倒れ難い fact18: あるものは惨いしまた厳めしい fact19: もし「「新規参入しないししかも厳めしい」ということは偽な」物があるならこの老人ホームは新規参入する fact20: 「この自由学園は不足し易いしまた単一材だ」ということは偽だ fact21: 「蝶結びでない」物はある ; $hypothesis$ = その多元主義は惨い ; $proof$ = 
fact3 -> int1: ある物は新規参入しないがしかし厳めしい; int1 & fact8 -> hypothesis; __PROVED__
事実1: もしあのビー玉は惨いなら「その編集担当は新規参入しないけれどそれは厳めしい」ということは事実と異なる
事実2: 仮になにがしかの物が集まり出さないとするとそれはキュクロプスでないかもしくは分かり易くないかまたはどちらもである
事実3: あの高齢者介護は新規参入しないが厳めしい
事実4: 厳めしいし惨い物はある
事実5: この妥当は新規参入する
事実6: 「「この自由学園が不足し易いしその上それは単一材である」ということは間違っている」ということは真実だとするとあの横波は集まり出さない
事実7: あの高齢者介護は厳めしい
事実8: もしも何かは新規参入するということはないがしかし厳めしいとすれば「その多元主義は惨い」ということは成り立つ
事実9: 「惨くないがしかし厳めしい」ものはある
事実10: もし仮にこの老人ホームが新規参入するならその多元主義は得難くないが古し
事実11: あの横波がキュクロプスでないか分かり易いということはないとすればそのスポット群は儚い
事実12: 「自発分極する」ものはある
事実13: 「惨い」ものはある
事実14: もし「なんらかの物は病める」ということは正しいならばそれはヘア＆メイクでないけど絶句する
事実15: もしも「何かはヘア＆メイクでない一方で絶句する」ということは成り立てば外注しない
事実16: もし何らかの物が儚いとしたら病める
事実17: もし仮に「そのスポット群は外注しない」ということは成り立つとするとあのビー玉は惨いしその上倒れ難い
事実18: あるものは惨いしまた厳めしい
事実19: もし「「新規参入しないししかも厳めしい」ということは偽な」物があるならこの老人ホームは新規参入する
事実20: 「この自由学園は不足し易いしまた単一材だ」ということは偽だ
事実21: 「蝶結びでない」物はある

仮説: その多元主義は惨い
1. 事実3から、推論1: "ある物は新規参入しないがしかし厳めしい"が導かれる
2. 推論1と事実8から、仮説が導かれる

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