あの迎え角αＳはたでない
fact1: もし仮にこの左手方が偉いなら無理無い fact2: 偉いものは無理無い fact3: もし仮になにかは軽ーくないとすればそれは苦悶するがたでない fact4: 仮にこの左手方が無理無いとすれば小さい fact5: もしもその栂は無理無いなら「この左手方はＫＦＳでないかあるいは小さくないかあるいはどちらもだ」ということは成り立たない fact6: 小さいものは軽ーくないしＫＦＳでない fact7: もしもあるものは軽ーくないならば「たでないが苦悶する」ということは嘘である fact8: もしも「この左手方はＫＦＳだということはないかもしくはそれは小さくないかまたはどちらもである」ということは真実でないならばあの迎え角αＳは軽ーくない fact9: 「「眩くないししかも追越割り込みであるということはない」ということは偽である」物はある fact10: もし仮に「「眩くないししかも追越割り込みでない」ということは成り立たない」ものがあるとするとあの迎え角αＳはたでる
fact9 & fact10 -> hypothesis;
fact9 & fact10 -> hypothesis;
「あの迎え角αＳは運悪い」ということは成り立つ
fact11 -> int1: 仮にこの左手方は軽ーくないとしたら「たでなくてそれは苦悶する」ということは成り立たない; fact14 -> int2: この左手方が小さいとすればそれは軽ーいということはないし更にそれはＫＦＳでない;
$facts$ = fact1: もし仮にこの左手方が偉いなら無理無い fact2: 偉いものは無理無い fact3: もし仮になにかは軽ーくないとすればそれは苦悶するがたでない fact4: 仮にこの左手方が無理無いとすれば小さい fact5: もしもその栂は無理無いなら「この左手方はＫＦＳでないかあるいは小さくないかあるいはどちらもだ」ということは成り立たない fact6: 小さいものは軽ーくないしＫＦＳでない fact7: もしもあるものは軽ーくないならば「たでないが苦悶する」ということは嘘である fact8: もしも「この左手方はＫＦＳだということはないかもしくはそれは小さくないかまたはどちらもである」ということは真実でないならばあの迎え角αＳは軽ーくない fact9: 「「眩くないししかも追越割り込みであるということはない」ということは偽である」物はある fact10: もし仮に「「眩くないししかも追越割り込みでない」ということは成り立たない」ものがあるとするとあの迎え角αＳはたでる ; $hypothesis$ = あの迎え角αＳはたでない ; $proof$ = 
fact9 & fact10 -> hypothesis; __DISPROVED__
事実1: もし仮にこの左手方が偉いなら無理無い
事実2: 偉いものは無理無い
事実3: もし仮になにかは軽ーくないとすればそれは苦悶するがたでない
事実4: 仮にこの左手方が無理無いとすれば小さい
事実5: もしもその栂は無理無いなら「この左手方はＫＦＳでないかあるいは小さくないかあるいはどちらもだ」ということは成り立たない
事実6: 小さいものは軽ーくないしＫＦＳでない
事実7: もしもあるものは軽ーくないならば「たでないが苦悶する」ということは嘘である
事実8: もしも「この左手方はＫＦＳだということはないかもしくはそれは小さくないかまたはどちらもである」ということは真実でないならばあの迎え角αＳは軽ーくない
事実9: 「「眩くないししかも追越割り込みであるということはない」ということは偽である」物はある
事実10: もし仮に「「眩くないししかも追越割り込みでない」ということは成り立たない」ものがあるとするとあの迎え角αＳはたでる

仮説: あの迎え角αＳはたでない
1. 事実9と事実10から、仮説が否定される

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