この炭酸水素ナトリウムは慈悲深い
fact1: もしなんらかの物が募集するということはないとすると慈悲深いしさらに褪せる fact2: なんらかのものが募集しないかもしくは褪せるかまたは両方ともだとしたら慈悲深くない fact3: この炭酸水素ナトリウムは慈悲深い
fact3 -> hypothesis;
fact3 -> hypothesis;
この炭酸水素ナトリウムは慈悲深くない
fact4 -> int1: もし仮にこの炭酸水素ナトリウムが募集しないかまたはそれが褪せるとしたら慈悲深くない;
$facts$ = fact1: もしなんらかの物が募集するということはないとすると慈悲深いしさらに褪せる fact2: なんらかのものが募集しないかもしくは褪せるかまたは両方ともだとしたら慈悲深くない fact3: この炭酸水素ナトリウムは慈悲深い ; $hypothesis$ = この炭酸水素ナトリウムは慈悲深い ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしなんらかの物が募集するということはないとすると慈悲深いしさらに褪せる
事実2: なんらかのものが募集しないかもしくは褪せるかまたは両方ともだとしたら慈悲深くない
事実3: この炭酸水素ナトリウムは慈悲深い

仮説: この炭酸水素ナトリウムは慈悲深い
1. 事実3から、仮説が導かれる

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