この会社勤めは納骨する
fact1: その新年は白くてまた発展出来る fact2: もしもなにがしかの物が気付き難いならばそれは納骨する fact3: もしもこの学習者が発展出来るとするとこの会社勤めは白いが納骨するということはない fact4: 仮に「白いしその上発展出来る」物はあるとすると「この会社勤めは気付き難い」ということは事実である fact5: 「忙しい」物はある
fact1 -> int1: 何かは白くてさらに発展出来る; int1 & fact4 -> int2: 「この会社勤めは気付き難い」ということは事実と異ならない; fact2 -> int3: もしもこの会社勤めが気付き難いとしたら納骨する; int2 & int3 -> hypothesis;
fact1 -> int1: (Ex): ({A}x & {B}x); int1 & fact4 -> int2: {C}{a}; fact2 -> int3: {C}{a} -> {D}{a}; int2 & int3 -> hypothesis;
この会社勤めは納骨しない
$facts$ = fact1: その新年は白くてまた発展出来る fact2: もしもなにがしかの物が気付き難いならばそれは納骨する fact3: もしもこの学習者が発展出来るとするとこの会社勤めは白いが納骨するということはない fact4: 仮に「白いしその上発展出来る」物はあるとすると「この会社勤めは気付き難い」ということは事実である fact5: 「忙しい」物はある ; $hypothesis$ = この会社勤めは納骨する ; $proof$ = 
fact1 -> int1: 何かは白くてさらに発展出来る; int1 & fact4 -> int2: 「この会社勤めは気付き難い」ということは事実と異ならない; fact2 -> int3: もしもこの会社勤めが気付き難いとしたら納骨する; int2 & int3 -> hypothesis; __PROVED__
事実1: その新年は白くてまた発展出来る
事実2: もしもなにがしかの物が気付き難いならばそれは納骨する
事実3: もしもこの学習者が発展出来るとするとこの会社勤めは白いが納骨するということはない
事実4: 仮に「白いしその上発展出来る」物はあるとすると「この会社勤めは気付き難い」ということは事実である
事実5: 「忙しい」物はある

仮説: この会社勤めは納骨する
1. 事実1から、推論1: "何かは白くてさらに発展出来る"が導かれる
2. 推論1と事実4から、推論2: "「この会社勤めは気付き難い」ということは事実と異ならない"が導かれる
3. 事実2から、推論3: "もしもこの会社勤めが気付き難いとしたら納骨する"が導かれる
4. 推論2と推論3から、仮説が導かれる

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