そのウアスは暮らさない
fact1: 仮にあのゴールド塗料が遣り辛いとするとそれは見詰め直すということはないが予測し易い fact2: 「あのゴールド塗料は遣り辛い」ということは確かだ fact3: 仮にあのゴールド塗料が見詰め直さないが予測し易いならそのウアスは暮らす
fact1 & fact2 -> int1: あのゴールド塗料は見詰め直さないけど予測し易い; int1 & fact3 -> hypothesis;
$facts$ = fact1: 仮にあのゴールド塗料が遣り辛いとするとそれは見詰め直すということはないが予測し易い fact2: 「あのゴールド塗料は遣り辛い」ということは確かだ fact3: 仮にあのゴールド塗料が見詰め直さないが予測し易いならそのウアスは暮らす ; $hypothesis$ = そのウアスは暮らさない ; $proof$ = 
fact1 & fact2 -> int1: あのゴールド塗料は見詰め直さないけど予測し易い; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 仮にあのゴールド塗料が遣り辛いとするとそれは見詰め直すということはないが予測し易い
事実2: 「あのゴールド塗料は遣り辛い」ということは確かだ
事実3: 仮にあのゴールド塗料が見詰め直さないが予測し易いならそのウアスは暮らす

仮説: そのウアスは暮らさない
1. 事実1と事実2から、推論1: "あのゴールド塗料は見詰め直さないけど予測し易い"が導かれる
2. 推論1と事実3から、仮説が否定される

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