この不射は軽い
fact1: この不射は軽い fact2: この不射は怪しい fact3: 「このワイヤーは軽い」ということは真実である fact4: この不射は御聞きする fact5: あの幾何学は軽い
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: この不射は軽い fact2: この不射は怪しい fact3: 「このワイヤーは軽い」ということは真実である fact4: この不射は御聞きする fact5: あの幾何学は軽い ; $hypothesis$ = この不射は軽い ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: この不射は軽い
事実2: この不射は怪しい
事実3: 「このワイヤーは軽い」ということは真実である
事実4: この不射は御聞きする
事実5: あの幾何学は軽い

仮説: この不射は軽い
1. 事実1から、仮説が導かれる

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