「その当該職員は改元する」ということは成り立つ
fact1: 若し物は改元する fact2: あの図式化が発展学習だとすればあの当該職員は若し fact3: あの図式化は発展学習であるかもしくは肉体的生命であるかもしくは両方だ fact4: もしあの図式化が肉体的生命だとするとその当該職員は若し
fact3 & fact2 & fact4 -> int1: その当該職員は若し; fact1 -> int2: もしもその当該職員は若しとすると「それは改元する」ということは本当だ; int1 & int2 -> hypothesis;
fact3 & fact2 & fact4 -> int1: {C}{c}; fact1 -> int2: {C}{c} -> {D}{c}; int1 & int2 -> hypothesis;
$facts$ = fact1: 若し物は改元する fact2: あの図式化が発展学習だとすればあの当該職員は若し fact3: あの図式化は発展学習であるかもしくは肉体的生命であるかもしくは両方だ fact4: もしあの図式化が肉体的生命だとするとその当該職員は若し ; $hypothesis$ = 「その当該職員は改元する」ということは成り立つ ; $proof$ = 
fact3 & fact2 & fact4 -> int1: その当該職員は若し; fact1 -> int2: もしもその当該職員は若しとすると「それは改元する」ということは本当だ; int1 & int2 -> hypothesis; __PROVED__
事実1: 若し物は改元する
事実2: あの図式化が発展学習だとすればあの当該職員は若し
事実3: あの図式化は発展学習であるかもしくは肉体的生命であるかもしくは両方だ
事実4: もしあの図式化が肉体的生命だとするとその当該職員は若し

仮説: 「その当該職員は改元する」ということは成り立つ
1. 事実3と事実2と事実4から、推論1: "その当該職員は若し"が導かれる
2. 事実1から、推論2: "もしもその当該職員は若しとすると「それは改元する」ということは本当だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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