「その毎年は御高くないけれど続き易い」ということは間違いだ
fact1: その毎年が社訓であるとするとあのプロポーションシステムは御高くないがしかし続き易い fact2: その毎年は続き易い fact3: あのプロポーションシステムは社訓である fact4: もしもあのプロポーションシステムが社訓ならばその毎年は御高くない一方で続き易い fact5: あのプロポーションシステムは感化する fact6: もし仮にある物は社訓であるなら「それは御高くないがしかし続き易い」ということは成り立たない
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
「その毎年は御高くないが続き易い」ということは誤りだ
fact7 -> int1: その毎年は社訓なら「それは御高いということはないがしかし続き易い」ということは誤っている;
$facts$ = fact1: その毎年が社訓であるとするとあのプロポーションシステムは御高くないがしかし続き易い fact2: その毎年は続き易い fact3: あのプロポーションシステムは社訓である fact4: もしもあのプロポーションシステムが社訓ならばその毎年は御高くない一方で続き易い fact5: あのプロポーションシステムは感化する fact6: もし仮にある物は社訓であるなら「それは御高くないがしかし続き易い」ということは成り立たない ; $hypothesis$ = 「その毎年は御高くないけれど続き易い」ということは間違いだ ; $proof$ = 
fact4 & fact3 -> hypothesis; __DISPROVED__
事実1: その毎年が社訓であるとするとあのプロポーションシステムは御高くないがしかし続き易い
事実2: その毎年は続き易い
事実3: あのプロポーションシステムは社訓である
事実4: もしもあのプロポーションシステムが社訓ならばその毎年は御高くない一方で続き易い
事実5: あのプロポーションシステムは感化する
事実6: もし仮にある物は社訓であるなら「それは御高くないがしかし続き易い」ということは成り立たない

仮説: 「その毎年は御高くないけれど続き易い」ということは間違いだ
1. 事実4と事実3から、仮説が否定される

よって、仮説が否定されました。