「「あの材木商は感染し易いけれど掻き易くない」ということは事実と異なる」ということは正しい
fact1: あの諌臣は先送りでない fact2: 仮にあの諌臣は先送りだということはないとしたら「「あの材木商は感染し易いけど掻き易くない」ということは真実である」ということは成り立たない fact3: もしあの諌臣が物権的請求権でないしさらにそれが先送りだということはないとするとその後世は先送りであるということはない fact4: あの材木商が古いということはないとすればあの諌臣は物権的請求権でなくて加えて先送りでない
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
その後世は先送りでない
$facts$ = fact1: あの諌臣は先送りでない fact2: 仮にあの諌臣は先送りだということはないとしたら「「あの材木商は感染し易いけど掻き易くない」ということは真実である」ということは成り立たない fact3: もしあの諌臣が物権的請求権でないしさらにそれが先送りだということはないとするとその後世は先送りであるということはない fact4: あの材木商が古いということはないとすればあの諌臣は物権的請求権でなくて加えて先送りでない ; $hypothesis$ = 「「あの材木商は感染し易いけれど掻き易くない」ということは事実と異なる」ということは正しい ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: あの諌臣は先送りでない
事実2: 仮にあの諌臣は先送りだということはないとしたら「「あの材木商は感染し易いけど掻き易くない」ということは真実である」ということは成り立たない
事実3: もしあの諌臣が物権的請求権でないしさらにそれが先送りだということはないとするとその後世は先送りであるということはない
事実4: あの材木商が古いということはないとすればあの諌臣は物権的請求権でなくて加えて先送りでない

仮説: 「「あの材木商は感染し易いけれど掻き易くない」ということは事実と異なる」ということは正しい
1. 事実2と事実1から、仮説が導かれる

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