「その異種金属は錆無い」ということは成り立つ
fact1: この小量は裏書き譲渡する fact2: 仮にその遠山が入手し易いならばその異種金属は錆無い fact3: この近代五輪は裏書き譲渡する fact4: もし仮になにがしかのものが裏書き譲渡するとすればその遠山は入手し易い
fact3 -> int1: 「裏書き譲渡する」物はある; int1 & fact4 -> int2: その遠山は入手し易い; int2 & fact2 -> hypothesis;
fact3 -> int1: (Ex): {A}x; int1 & fact4 -> int2: {B}{a}; int2 & fact2 -> hypothesis;
$facts$ = fact1: この小量は裏書き譲渡する fact2: 仮にその遠山が入手し易いならばその異種金属は錆無い fact3: この近代五輪は裏書き譲渡する fact4: もし仮になにがしかのものが裏書き譲渡するとすればその遠山は入手し易い ; $hypothesis$ = 「その異種金属は錆無い」ということは成り立つ ; $proof$ = 
fact3 -> int1: 「裏書き譲渡する」物はある; int1 & fact4 -> int2: その遠山は入手し易い; int2 & fact2 -> hypothesis; __PROVED__
事実1: この小量は裏書き譲渡する
事実2: 仮にその遠山が入手し易いならばその異種金属は錆無い
事実3: この近代五輪は裏書き譲渡する
事実4: もし仮になにがしかのものが裏書き譲渡するとすればその遠山は入手し易い

仮説: 「その異種金属は錆無い」ということは成り立つ
1. 事実3から、推論1: "「裏書き譲渡する」物はある"が導かれる
2. 推論1と事実4から、推論2: "その遠山は入手し易い"が導かれる
3. 推論2と事実2から、仮説が導かれる

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