この審議会等委員は滞り易い一方で哲学教授でない
fact1: この四フレームが疚しいならあの規制方法は為る fact2: もし仮に「この虫共は言い易い」ということは本当ならば浅黒い fact3: 「あの払いは其れっぽい」ということは真実だ fact4: もし仮にとあるものは定款規定でないかあるいは認知構造でないかまたはどちらもであるとすると「その裁量的経費は定款規定でない」ということは真実である fact5: もしなんらかの物が為るとしたら差配する fact6: もし「あのブトルファノールは疚しくない」ということは本当であるとすれば「この審議会等委員は滞り易い一方でそれは哲学教授であるということはない」ということは成り立たない fact7: 仮にあの払いは其れっぽいとすれば「指導力でないしかつ言い易くない」ということは偽である fact8: 「為らないかもしくは滞り易くないかあるいは両方な」物はある fact9: もし仮にあの規制方法が定款規定でないならこの四フレームは為るしその上差配する fact10: もしも何かは為るということはないとすれば疚しくない fact11: この虫共は指導力であるかあるいは言い易いかもしくはどちらもである fact12: もしあの規制方法が差配するとすればその裁量的経費は定款規定だ fact13: もし仮に「「指導力でないしその上言い易いない」ということは誤っている」物があるとするとその裁量的経費は浅黒くない fact14: 仮に「あのブトルファノールは滞り易いということはない」ということは確かだとするとこの審議会等委員は滞り易い一方で哲学教授でない fact15: 「「為るし定款規定である」ということは成り立つということはない」ものはある fact16: 仮にあのブトルファノールが滞り易いならばこの四フレームは疚しい fact17: もしもこの虫共が指導力だとしたらそれは浅黒い fact18: 仮に「この虫共は浅黒い」ということは本当であるなら「あの払いは定款規定だということはないかもしくは認知構造だということはないかまたはどちらもである」ということは成り立つ fact19: もしもこの四フレームは為るとしたら「あのブトルファノールは為らない」ということは本当だ
void -> assump1: 以下のように仮定する。あのブトルファノールは滞り易い; fact16 & assump1 -> int1: この四フレームは疚しい; int1 & fact1 -> int2: あの規制方法は為る; fact5 -> int3: あの規制方法が為れば差配する; int2 & int3 -> int4: あの規制方法は差配する; int4 & fact12 -> int5: その裁量的経費は定款規定だ; fact2 & fact17 & fact11 -> int6: この虫共は浅黒い; int6 & fact18 -> int7: あの払いは定款規定でないかそれは認知構造でないかまたは両方だ; int7 -> int8: 「定款規定でないかあるいは認知構造でないかあるいは両方である」ものはある; int8 & fact4 -> int9: その裁量的経費は定款規定でない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あのブトルファノールは滞り易くない; int11 & fact14 -> hypothesis;
「この審議会等委員は滞り易い一方で哲学教授でない」ということは成り立つということはない
$facts$ = fact1: この四フレームが疚しいならあの規制方法は為る fact2: もし仮に「この虫共は言い易い」ということは本当ならば浅黒い fact3: 「あの払いは其れっぽい」ということは真実だ fact4: もし仮にとあるものは定款規定でないかあるいは認知構造でないかまたはどちらもであるとすると「その裁量的経費は定款規定でない」ということは真実である fact5: もしなんらかの物が為るとしたら差配する fact6: もし「あのブトルファノールは疚しくない」ということは本当であるとすれば「この審議会等委員は滞り易い一方でそれは哲学教授であるということはない」ということは成り立たない fact7: 仮にあの払いは其れっぽいとすれば「指導力でないしかつ言い易くない」ということは偽である fact8: 「為らないかもしくは滞り易くないかあるいは両方な」物はある fact9: もし仮にあの規制方法が定款規定でないならこの四フレームは為るしその上差配する fact10: もしも何かは為るということはないとすれば疚しくない fact11: この虫共は指導力であるかあるいは言い易いかもしくはどちらもである fact12: もしあの規制方法が差配するとすればその裁量的経費は定款規定だ fact13: もし仮に「「指導力でないしその上言い易いない」ということは誤っている」物があるとするとその裁量的経費は浅黒くない fact14: 仮に「あのブトルファノールは滞り易いということはない」ということは確かだとするとこの審議会等委員は滞り易い一方で哲学教授でない fact15: 「「為るし定款規定である」ということは成り立つということはない」ものはある fact16: 仮にあのブトルファノールが滞り易いならばこの四フレームは疚しい fact17: もしもこの虫共が指導力だとしたらそれは浅黒い fact18: 仮に「この虫共は浅黒い」ということは本当であるなら「あの払いは定款規定だということはないかもしくは認知構造だということはないかまたはどちらもである」ということは成り立つ fact19: もしもこの四フレームは為るとしたら「あのブトルファノールは為らない」ということは本当だ ; $hypothesis$ = この審議会等委員は滞り易い一方で哲学教授でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのブトルファノールは滞り易い; fact16 & assump1 -> int1: この四フレームは疚しい; int1 & fact1 -> int2: あの規制方法は為る; fact5 -> int3: あの規制方法が為れば差配する; int2 & int3 -> int4: あの規制方法は差配する; int4 & fact12 -> int5: その裁量的経費は定款規定だ; fact2 & fact17 & fact11 -> int6: この虫共は浅黒い; int6 & fact18 -> int7: あの払いは定款規定でないかそれは認知構造でないかまたは両方だ; int7 -> int8: 「定款規定でないかあるいは認知構造でないかあるいは両方である」ものはある; int8 & fact4 -> int9: その裁量的経費は定款規定でない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あのブトルファノールは滞り易くない; int11 & fact14 -> hypothesis; __PROVED__
事実1: この四フレームが疚しいならあの規制方法は為る
事実2: もし仮に「この虫共は言い易い」ということは本当ならば浅黒い
事実3: 「あの払いは其れっぽい」ということは真実だ
事実4: もし仮にとあるものは定款規定でないかあるいは認知構造でないかまたはどちらもであるとすると「その裁量的経費は定款規定でない」ということは真実である
事実5: もしなんらかの物が為るとしたら差配する
事実6: もし「あのブトルファノールは疚しくない」ということは本当であるとすれば「この審議会等委員は滞り易い一方でそれは哲学教授であるということはない」ということは成り立たない
事実7: 仮にあの払いは其れっぽいとすれば「指導力でないしかつ言い易くない」ということは偽である
事実8: 「為らないかもしくは滞り易くないかあるいは両方な」物はある
事実9: もし仮にあの規制方法が定款規定でないならこの四フレームは為るしその上差配する
事実10: もしも何かは為るということはないとすれば疚しくない
事実11: この虫共は指導力であるかあるいは言い易いかもしくはどちらもである
事実12: もしあの規制方法が差配するとすればその裁量的経費は定款規定だ
事実13: もし仮に「「指導力でないしその上言い易いない」ということは誤っている」物があるとするとその裁量的経費は浅黒くない
事実14: 仮に「あのブトルファノールは滞り易いということはない」ということは確かだとするとこの審議会等委員は滞り易い一方で哲学教授でない
事実15: 「「為るし定款規定である」ということは成り立つということはない」ものはある
事実16: 仮にあのブトルファノールが滞り易いならばこの四フレームは疚しい
事実17: もしもこの虫共が指導力だとしたらそれは浅黒い
事実18: 仮に「この虫共は浅黒い」ということは本当であるなら「あの払いは定款規定だということはないかもしくは認知構造だということはないかまたはどちらもである」ということは成り立つ
事実19: もしもこの四フレームは為るとしたら「あのブトルファノールは為らない」ということは本当だ

仮説: この審議会等委員は滞り易い一方で哲学教授でない
1. 仮定1: 以下のように仮定する。あのブトルファノールは滞り易い
2. 事実16と仮定1から、推論1: "この四フレームは疚しい"が導かれる
3. 推論1と事実1から、推論2: "あの規制方法は為る"が導かれる
4. 事実5から、推論3: "あの規制方法が為れば差配する"が導かれる
5. 推論2と推論3から、推論4: "あの規制方法は差配する"が導かれる
6. 推論4と事実12から、推論5: "その裁量的経費は定款規定だ"が導かれる
7. 事実2と事実17と事実11から、推論6: "この虫共は浅黒い"が導かれる
8. 推論6と事実18から、推論7: "あの払いは定款規定でないかそれは認知構造でないかまたは両方だ"が導かれる
9. 推論7から、推論8: "「定款規定でないかあるいは認知構造でないかあるいは両方である」ものはある"が導かれる
10. 推論8と事実4から、推論9: "その裁量的経費は定款規定でない"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "あのブトルファノールは滞り易くない"が導かれる
13. 推論11と事実14から、仮説が導かれる

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