「もしも示し易くないとしたら山河でないか手強くないかもしくはどちらもである」物はある
fact1: もしもそのマイナス値が示し易くないならば山河でないかまたは手強いということはない fact2: もしなにかは春めかないならばそれは程良いということはないか見難くないか両方だ fact3: 「示し易くないとすると山河であるということはないかもしくは手強いかもしくは両方ともである」物はある
fact1 -> hypothesis;
「もし仮に春めかないならば程良くないかあるいは見難くない」物はある
fact4 -> int1: もしもこの変更手続きが春めかないとするとそれは程良くないかあるいは見難いということはない; int1 -> hypothesis;
$facts$ = fact1: もしもそのマイナス値が示し易くないならば山河でないかまたは手強いということはない fact2: もしなにかは春めかないならばそれは程良いということはないか見難くないか両方だ fact3: 「示し易くないとすると山河であるということはないかもしくは手強いかもしくは両方ともである」物はある ; $hypothesis$ = 「もしも示し易くないとしたら山河でないか手強くないかもしくはどちらもである」物はある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もしもそのマイナス値が示し易くないならば山河でないかまたは手強いということはない
事実2: もしなにかは春めかないならばそれは程良いということはないか見難くないか両方だ
事実3: 「示し易くないとすると山河であるということはないかもしくは手強いかもしくは両方ともである」物はある

仮説: 「もしも示し易くないとしたら山河でないか手強くないかもしくはどちらもである」物はある
1. 事実1から、仮説が導かれる

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