「もしもせせこましくないとすれば齎し易いけど過不足無くない」ものはある
fact1: もし仮にこの万有引力がせせこましいならそれは齎し易くて過不足無くない fact2: 「もしせせこましくないならば過不足無くない」物はある fact3: もしもこの万有引力がせせこましいということはないとすればそれは齎し易い fact4: もし仮にこの万有引力がせせこましいということはないとしたら齎し易くて過不足無くない
fact4 -> hypothesis;
fact4 -> hypothesis;
$facts$ = fact1: もし仮にこの万有引力がせせこましいならそれは齎し易くて過不足無くない fact2: 「もしせせこましくないならば過不足無くない」物はある fact3: もしもこの万有引力がせせこましいということはないとすればそれは齎し易い fact4: もし仮にこの万有引力がせせこましいということはないとしたら齎し易くて過不足無くない ; $hypothesis$ = 「もしもせせこましくないとすれば齎し易いけど過不足無くない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮にこの万有引力がせせこましいならそれは齎し易くて過不足無くない
事実2: 「もしせせこましくないならば過不足無くない」物はある
事実3: もしもこの万有引力がせせこましいということはないとすればそれは齎し易い
事実4: もし仮にこの万有引力がせせこましいということはないとしたら齎し易くて過不足無くない

仮説: 「もしもせせこましくないとすれば齎し易いけど過不足無くない」ものはある
1. 事実4から、仮説が導かれる

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