この硬貨は荒っぽくない
fact1: あのセンサーは荒っぽいということはない fact2: 「この硬貨は荒っぽくない」ということは正しい fact3: この硬貨は流れ行くということはない fact4: あのタバコ工場は荒っぽくない
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: あのセンサーは荒っぽいということはない fact2: 「この硬貨は荒っぽくない」ということは正しい fact3: この硬貨は流れ行くということはない fact4: あのタバコ工場は荒っぽくない ; $hypothesis$ = この硬貨は荒っぽくない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: あのセンサーは荒っぽいということはない
事実2: 「この硬貨は荒っぽくない」ということは正しい
事実3: この硬貨は流れ行くということはない
事実4: あのタバコ工場は荒っぽくない

仮説: この硬貨は荒っぽくない
1. 事実2から、仮説が導かれる

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