あの職能別業務は諸世界だ
fact1: 諸世界は不飽和である fact2: もしもこの高泌乳牛は不飽和であるとするとそれは老衰する fact3: あの職能別業務は気弱い fact4: あの職能別業務は恵み深いしその上不飽和である fact5: この電気学分科は見紛うしそれは諸世界である fact6: 「恵み深い物は諸世界である」ということは誤りでない fact7: あの職能別業務はＰ法である fact8: あの職能別業務は不飽和だ fact9: あのリハビリテーションプログラムは諸世界である
fact4 -> int1: あの職能別業務は恵み深い; fact6 -> int2: もし仮にあの職能別業務は恵み深いならば「それは諸世界である」ということは成り立つ; int1 & int2 -> hypothesis;
fact4 -> int1: {A}{a}; fact6 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 諸世界は不飽和である fact2: もしもこの高泌乳牛は不飽和であるとするとそれは老衰する fact3: あの職能別業務は気弱い fact4: あの職能別業務は恵み深いしその上不飽和である fact5: この電気学分科は見紛うしそれは諸世界である fact6: 「恵み深い物は諸世界である」ということは誤りでない fact7: あの職能別業務はＰ法である fact8: あの職能別業務は不飽和だ fact9: あのリハビリテーションプログラムは諸世界である ; $hypothesis$ = あの職能別業務は諸世界だ ; $proof$ = 
fact4 -> int1: あの職能別業務は恵み深い; fact6 -> int2: もし仮にあの職能別業務は恵み深いならば「それは諸世界である」ということは成り立つ; int1 & int2 -> hypothesis; __PROVED__
事実1: 諸世界は不飽和である
事実2: もしもこの高泌乳牛は不飽和であるとするとそれは老衰する
事実3: あの職能別業務は気弱い
事実4: あの職能別業務は恵み深いしその上不飽和である
事実5: この電気学分科は見紛うしそれは諸世界である
事実6: 「恵み深い物は諸世界である」ということは誤りでない
事実7: あの職能別業務はＰ法である
事実8: あの職能別業務は不飽和だ
事実9: あのリハビリテーションプログラムは諸世界である

仮説: あの職能別業務は諸世界だ
1. 事実4から、推論1: "あの職能別業務は恵み深い"が導かれる
2. 事実6から、推論2: "もし仮にあの職能別業務は恵み深いならば「それは諸世界である」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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