もし仮にその懐疑論が重たいとしたらネイティブらしいということはない
fact1: もしもある物が勝ち上がるとすると心安い fact2: とあるものが片手だとすればそれは読み辛くない fact3: 仮にとあるものが重たいならそれはネイティブらしくない
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もしもある物が勝ち上がるとすると心安い fact2: とあるものが片手だとすればそれは読み辛くない fact3: 仮にとあるものが重たいならそれはネイティブらしくない ; $hypothesis$ = もし仮にその懐疑論が重たいとしたらネイティブらしいということはない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしもある物が勝ち上がるとすると心安い
事実2: とあるものが片手だとすればそれは読み辛くない
事実3: 仮にとあるものが重たいならそれはネイティブらしくない

仮説: もし仮にその懐疑論が重たいとしたらネイティブらしいということはない
1. 事実3から、仮説が導かれる

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