そのＧ／Ｄ比は諮る
fact1: もし仮に「「捕らえ切れるしさらに飲み歩く」ということは誤りな」物があるならこの運用基準はＫプラスでない fact2: 仮にＣＥＯはＫプラスであるとするとそれは諮らない fact3: もしもそのＧ／Ｄ比は人口増加で刺々しいとしたら諮る fact4: なんらかの物は捕らえ切れるしまた飲み歩く fact5: もし「「「ＣＡＳＴキャストだしその上刺々しい」ということは事実と異ならない」ということは嘘な」ものがあるとしたらこの運用基準は医療安全管理体制でない fact6: そのＧ／Ｄ比は成文化する一方で刺々しかない fact7: もし何らかのものがＣＥＯであるかあるいはそれはＫプラスでないならそれは成文化する fact8: もし何かはＫプラスでないならそれは成文化する fact9: もし仮にこの脱出口がＫプラスだとすると人口増加だがしかし成文化しない fact10: 仮にそのＧ／Ｄ比が人口増加だが刺々しかないとするとそれは諮る fact11: 仮にそのＧ／Ｄ比は発するとすると「刺々しかない」ということは成り立つ fact12: この運用基準はＣＥＯであるかＫプラスでないかまたは両方ともである fact13: もしもこの運用基準がＫプラスであるということはないとしたらこの脱出口はＣＥＯであるかもしくはＫプラスだということはないかもしくは両方である fact14: もし「この脱出口は諮る」ということは真実だとするとそのＧ／Ｄ比は成文化する fact15: もしそのＧ／Ｄ比が発するなら人口増加であるが刺々しかない fact16: この運用基準がＫプラスでないならこの脱出口はＣＥＯであるかもしくはそれはＫプラスである fact17: もしもこの脱出口はＫプラスでないなら「成文化する」ということは成り立つ fact18: もしも「この運用基準は成文化するか発しないかあるいは両方ともだ」ということは本当でないとすればそのＧ／Ｄ比はＣＥＯだ fact19: この脱出口が成文化するとすればあのＧ／Ｄ比は発する fact20: そのＧ／Ｄ比は仲睦まじいがしかしそれは科学的手法でない fact21: この脱出口はＣＥＯであるかもしくはＫプラスであるかまたは両方である fact22: もし「捕らえ切れない」ものがあるとしたらこの運用基準はＫプラスでない fact23: このアビーは柔いけどそれはＣＥＯでない fact24: 「「この脱出口は刺々しいかそれはＫプラスだということはないかもしくは両方ともである」ということは正しいとするとこの脱出口はＣＥＯだ」ということは確かである fact25: 「そのＧ／Ｄ比は刺々しかない」ということは事実と異ならない fact26: 「「捕らえ切れるし更に飲み歩く」ということは嘘な」ものはある
fact26 & fact1 -> int1: この運用基準はＫプラスであるということはない; int1 & fact13 -> int2: この脱出口はＣＥＯであるかもしくはＫプラスでない; fact7 -> int3: 仮にこの脱出口はＣＥＯであるかまたはＫプラスでないか両方ともならば成文化する; int2 & int3 -> int4: この脱出口は成文化する; int4 & fact19 -> int5: そのＧ／Ｄ比は発する; int5 & fact15 -> int6: そのＧ／Ｄ比は人口増加であるけど刺々しかない; int6 & fact10 -> hypothesis;
そのＧ／Ｄ比は諮らない
fact27 -> int7: もし仮にそのＧ／Ｄ比がＣＥＯだしその上それはＫプラスであるとしたら諮るということはない;
$facts$ = fact1: もし仮に「「捕らえ切れるしさらに飲み歩く」ということは誤りな」物があるならこの運用基準はＫプラスでない fact2: 仮にＣＥＯはＫプラスであるとするとそれは諮らない fact3: もしもそのＧ／Ｄ比は人口増加で刺々しいとしたら諮る fact4: なんらかの物は捕らえ切れるしまた飲み歩く fact5: もし「「「ＣＡＳＴキャストだしその上刺々しい」ということは事実と異ならない」ということは嘘な」ものがあるとしたらこの運用基準は医療安全管理体制でない fact6: そのＧ／Ｄ比は成文化する一方で刺々しかない fact7: もし何らかのものがＣＥＯであるかあるいはそれはＫプラスでないならそれは成文化する fact8: もし何かはＫプラスでないならそれは成文化する fact9: もし仮にこの脱出口がＫプラスだとすると人口増加だがしかし成文化しない fact10: 仮にそのＧ／Ｄ比が人口増加だが刺々しかないとするとそれは諮る fact11: 仮にそのＧ／Ｄ比は発するとすると「刺々しかない」ということは成り立つ fact12: この運用基準はＣＥＯであるかＫプラスでないかまたは両方ともである fact13: もしもこの運用基準がＫプラスであるということはないとしたらこの脱出口はＣＥＯであるかもしくはＫプラスだということはないかもしくは両方である fact14: もし「この脱出口は諮る」ということは真実だとするとそのＧ／Ｄ比は成文化する fact15: もしそのＧ／Ｄ比が発するなら人口増加であるが刺々しかない fact16: この運用基準がＫプラスでないならこの脱出口はＣＥＯであるかもしくはそれはＫプラスである fact17: もしもこの脱出口はＫプラスでないなら「成文化する」ということは成り立つ fact18: もしも「この運用基準は成文化するか発しないかあるいは両方ともだ」ということは本当でないとすればそのＧ／Ｄ比はＣＥＯだ fact19: この脱出口が成文化するとすればあのＧ／Ｄ比は発する fact20: そのＧ／Ｄ比は仲睦まじいがしかしそれは科学的手法でない fact21: この脱出口はＣＥＯであるかもしくはＫプラスであるかまたは両方である fact22: もし「捕らえ切れない」ものがあるとしたらこの運用基準はＫプラスでない fact23: このアビーは柔いけどそれはＣＥＯでない fact24: 「「この脱出口は刺々しいかそれはＫプラスだということはないかもしくは両方ともである」ということは正しいとするとこの脱出口はＣＥＯだ」ということは確かである fact25: 「そのＧ／Ｄ比は刺々しかない」ということは事実と異ならない fact26: 「「捕らえ切れるし更に飲み歩く」ということは嘘な」ものはある ; $hypothesis$ = そのＧ／Ｄ比は諮る ; $proof$ = 
fact26 & fact1 -> int1: この運用基準はＫプラスであるということはない; int1 & fact13 -> int2: この脱出口はＣＥＯであるかもしくはＫプラスでない; fact7 -> int3: 仮にこの脱出口はＣＥＯであるかまたはＫプラスでないか両方ともならば成文化する; int2 & int3 -> int4: この脱出口は成文化する; int4 & fact19 -> int5: そのＧ／Ｄ比は発する; int5 & fact15 -> int6: そのＧ／Ｄ比は人口増加であるけど刺々しかない; int6 & fact10 -> 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: このアビーは柔いけどそれはＣＥＯでない
事実24: 「「この脱出口は刺々しいかそれはＫプラスだということはないかもしくは両方ともである」ということは正しいとするとこの脱出口はＣＥＯだ」ということは確かである
事実25: 「そのＧ／Ｄ比は刺々しかない」ということは事実と異ならない
事実26: 「「捕らえ切れるし更に飲み歩く」ということは嘘な」ものはある

仮説: そのＧ／Ｄ比は諮る
1. 事実26と事実1から、推論1: "この運用基準はＫプラスであるということはない"が導かれる
2. 推論1と事実13から、推論2: "この脱出口はＣＥＯであるかもしくはＫプラスでない"が導かれる
3. 事実7から、推論3: "仮にこの脱出口はＣＥＯであるかまたはＫプラスでないか両方ともならば成文化する"が導かれる
4. 推論2と推論3から、推論4: "この脱出口は成文化する"が導かれる
5. 推論4と事実19から、推論5: "そのＧ／Ｄ比は発する"が導かれる
6. 推論5と事実15から、推論6: "そのＧ／Ｄ比は人口増加であるけど刺々しかない"が導かれる
7. 推論6と事実10から、仮説が導かれる

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