「その旅券は物上代位である」ということは成り立つ
fact1: この付け所が語幹だ一方でそれが握り易いということはないならばそれは疎ましい fact2: この付け所は語幹だがしかし握り易くない fact3: 仮にこの付け所が疎ましいならその旅券は物上代位だ
fact1 & fact2 -> int1: この付け所は疎ましい; int1 & fact3 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: この付け所が語幹だ一方でそれが握り易いということはないならばそれは疎ましい fact2: この付け所は語幹だがしかし握り易くない fact3: 仮にこの付け所が疎ましいならその旅券は物上代位だ ; $hypothesis$ = 「その旅券は物上代位である」ということは成り立つ ; $proof$ = 
fact1 & fact2 -> int1: この付け所は疎ましい; int1 & fact3 -> hypothesis; __PROVED__
事実1: この付け所が語幹だ一方でそれが握り易いということはないならばそれは疎ましい
事実2: この付け所は語幹だがしかし握り易くない
事実3: 仮にこの付け所が疎ましいならその旅券は物上代位だ

仮説: 「その旅券は物上代位である」ということは成り立つ
1. 事実1と事実2から、推論1: "この付け所は疎ましい"が導かれる
2. 推論1と事実3から、仮説が導かれる

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