「「もしも「渋いということはない」ということは真実であるとすれば埃っぽい」物はある」ということは偽でない
fact1: もし仮になんらかのものが埃っぽくないとしたら通り難い fact2: この一回以上が渋くないとすればそれは埃っぽい
fact2 -> hypothesis;
仮に「この平常は埃っぽくない」ということは確かだとしたらそれは通り難い
fact3 -> hypothesis;
$facts$ = fact1: もし仮になんらかのものが埃っぽくないとしたら通り難い fact2: この一回以上が渋くないとすればそれは埃っぽい ; $hypothesis$ = 「「もしも「渋いということはない」ということは真実であるとすれば埃っぽい」物はある」ということは偽でない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮になんらかのものが埃っぽくないとしたら通り難い
事実2: この一回以上が渋くないとすればそれは埃っぽい

仮説: 「「もしも「渋いということはない」ということは真実であるとすれば埃っぽい」物はある」ということは偽でない
1. 事実2から、仮説が導かれる

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