この全例はうら若い
fact1: もしもその必要部数がうら若いならばあの全例は日光東照宮であるがうら若くない fact2: この隠匿は青白い fact3: 仮に「この隠匿は青白い」ということは事実であるとするとその必要部数はうら若い
fact3 & fact2 -> int1: その必要部数はうら若い; int1 & fact1 -> int2: この全例は日光東照宮だがうら若くない; int2 -> hypothesis;
$facts$ = fact1: もしもその必要部数がうら若いならばあの全例は日光東照宮であるがうら若くない fact2: この隠匿は青白い fact3: 仮に「この隠匿は青白い」ということは事実であるとするとその必要部数はうら若い ; $hypothesis$ = この全例はうら若い ; $proof$ = 
fact3 & fact2 -> int1: その必要部数はうら若い; int1 & fact1 -> int2: この全例は日光東照宮だがうら若くない; int2 -> hypothesis; __DISPROVED__
事実1: もしもその必要部数がうら若いならばあの全例は日光東照宮であるがうら若くない
事実2: この隠匿は青白い
事実3: 仮に「この隠匿は青白い」ということは事実であるとするとその必要部数はうら若い

仮説: この全例はうら若い
1. 事実3と事実2から、推論1: "その必要部数はうら若い"が導かれる
2. 推論1と事実1から、推論2: "この全例は日光東照宮だがうら若くない"が導かれる
3. 推論2から、仮説が否定される

よって、仮説が否定されました。