「公的資金投入でない」ものはある
fact1: なにかは拡張障害でない fact2: 「自任する」ものはある fact3: 「拡張障害であるしかつ自任する」物はある fact4: もし仮に何らかのものが拡張障害でないけれど自任するとするとあの欠乏症は公的資金投入でない fact5: 仮に「とある物は鈍い」ということは成り立てばその無さ利用は自任する fact6: 「鈍い」ものがあるとすればその無さ利用は拡張障害でないが自任する fact7: その無さ利用は自任する fact8: 「「鈍い」ということは確かな」ものはある
fact8 & fact6 -> int1: その無さ利用は拡張障害でないけれど自任する; int1 -> int2: 「拡張障害でないししかも自任する」ものはある; int2 & fact4 -> int3: あの欠乏症は公的資金投入でない; int3 -> hypothesis;
$facts$ = fact1: なにかは拡張障害でない fact2: 「自任する」ものはある fact3: 「拡張障害であるしかつ自任する」物はある fact4: もし仮に何らかのものが拡張障害でないけれど自任するとするとあの欠乏症は公的資金投入でない fact5: 仮に「とある物は鈍い」ということは成り立てばその無さ利用は自任する fact6: 「鈍い」ものがあるとすればその無さ利用は拡張障害でないが自任する fact7: その無さ利用は自任する fact8: 「「鈍い」ということは確かな」ものはある ; $hypothesis$ = 「公的資金投入でない」ものはある ; $proof$ = 
fact8 & fact6 -> int1: その無さ利用は拡張障害でないけれど自任する; int1 -> int2: 「拡張障害でないししかも自任する」ものはある; int2 & fact4 -> int3: あの欠乏症は公的資金投入でない; int3 -> hypothesis; __PROVED__
事実1: なにかは拡張障害でない
事実2: 「自任する」ものはある
事実3: 「拡張障害であるしかつ自任する」物はある
事実4: もし仮に何らかのものが拡張障害でないけれど自任するとするとあの欠乏症は公的資金投入でない
事実5: 仮に「とある物は鈍い」ということは成り立てばその無さ利用は自任する
事実6: 「鈍い」ものがあるとすればその無さ利用は拡張障害でないが自任する
事実7: その無さ利用は自任する
事実8: 「「鈍い」ということは確かな」ものはある

仮説: 「公的資金投入でない」ものはある
1. 事実8と事実6から、推論1: "その無さ利用は拡張障害でないけれど自任する"が導かれる
2. 推論1から、推論2: "「拡張障害でないししかも自任する」ものはある"が導かれる
3. 推論2と事実4から、推論3: "あの欠乏症は公的資金投入でない"が導かれる
4. 推論3から、仮説が導かれる

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