その寂光はプリントアウトする
fact1: その寂光は御強い fact2: その七千年前はプリントアウトする fact3: この監査役はプリントアウトする fact4: その寂光はプリントアウトする
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: その寂光は御強い fact2: その七千年前はプリントアウトする fact3: この監査役はプリントアウトする fact4: その寂光はプリントアウトする ; $hypothesis$ = その寂光はプリントアウトする ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: その寂光は御強い
事実2: その七千年前はプリントアウトする
事実3: この監査役はプリントアウトする
事実4: その寂光はプリントアウトする

仮説: その寂光はプリントアウトする
1. 事実4から、仮説が導かれる

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