その指定権利は伴い易い
fact1: 仮にその見張り番が首尾良いとすると融資出来る fact2: もし仮に「この手習いは灯台でないけど融資出来る」ということは偽だとするとその指定権利は伴い易い fact3: 「その見張り番は首尾良い」ということは事実だ fact4: もしその見張り番は融資出来るとしたら「この手習いは灯台でない一方で融資出来る」ということは事実と異なる
fact1 & fact3 -> int1: その見張り番は融資出来る; int1 & fact4 -> int2: 「この手習いは灯台でないがしかし融資出来る」ということは間違いだ; int2 & fact2 -> hypothesis;
fact1 & fact3 -> int1: {B}{a}; int1 & fact4 -> int2: ¬(¬{D}{b} & {B}{b}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 仮にその見張り番が首尾良いとすると融資出来る fact2: もし仮に「この手習いは灯台でないけど融資出来る」ということは偽だとするとその指定権利は伴い易い fact3: 「その見張り番は首尾良い」ということは事実だ fact4: もしその見張り番は融資出来るとしたら「この手習いは灯台でない一方で融資出来る」ということは事実と異なる ; $hypothesis$ = その指定権利は伴い易い ; $proof$ = 
fact1 & fact3 -> int1: その見張り番は融資出来る; int1 & fact4 -> int2: 「この手習いは灯台でないがしかし融資出来る」ということは間違いだ; int2 & fact2 -> hypothesis; __PROVED__
事実1: 仮にその見張り番が首尾良いとすると融資出来る
事実2: もし仮に「この手習いは灯台でないけど融資出来る」ということは偽だとするとその指定権利は伴い易い
事実3: 「その見張り番は首尾良い」ということは事実だ
事実4: もしその見張り番は融資出来るとしたら「この手習いは灯台でない一方で融資出来る」ということは事実と異なる

仮説: その指定権利は伴い易い
1. 事実1と事実3から、推論1: "その見張り番は融資出来る"が導かれる
2. 推論1と事実4から、推論2: "「この手習いは灯台でないがしかし融資出来る」ということは間違いだ"が導かれる
3. 推論2と事実2から、仮説が導かれる

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