もしもそのＤＶＤ‐ＲＡＭドライブが荒っぽくないとするとそれは過不足無いがしかし各メディアでない
fact1: なんらかのものが荒っぽくないならばそれは過不足無くて各メディアでない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: なんらかのものが荒っぽくないならばそれは過不足無くて各メディアでない ; $hypothesis$ = もしもそのＤＶＤ‐ＲＡＭドライブが荒っぽくないとするとそれは過不足無いがしかし各メディアでない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: なんらかのものが荒っぽくないならばそれは過不足無くて各メディアでない

仮説: もしもそのＤＶＤ‐ＲＡＭドライブが荒っぽくないとするとそれは過不足無いがしかし各メディアでない
1. 事実1から、仮説が導かれる

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