「この元旦は成ず」ということは間違いでない
fact1: 「あらゆる物は取っ付き易くなくてかつ強肩でない」ということは確かである fact2: なんらかの物は強肩でないけど取っ付き易いとしたらそれは暦法でない fact3: もしもあの野菜類が酸化し難くないとしたらそれは強肩でなくてまた取っ付き易い fact4: この元旦は成ず fact5: あの本質的特徴は成ず fact6: この元旦は放送用だ fact7: この伝送速度は成ず fact8: この皮切りは成ず fact9: 取っ付き易くないものは解決出来るがしかし暦法でない
fact4 -> hypothesis;
fact4 -> hypothesis;
「あの野菜類は成ず」ということは事実だ
fact11 -> int1: もしあの野菜類は強肩でない一方で取っ付き易いとすれば「暦法でない」ということは成り立つ;
$facts$ = fact1: 「あらゆる物は取っ付き易くなくてかつ強肩でない」ということは確かである fact2: なんらかの物は強肩でないけど取っ付き易いとしたらそれは暦法でない fact3: もしもあの野菜類が酸化し難くないとしたらそれは強肩でなくてまた取っ付き易い fact4: この元旦は成ず fact5: あの本質的特徴は成ず fact6: この元旦は放送用だ fact7: この伝送速度は成ず fact8: この皮切りは成ず fact9: 取っ付き易くないものは解決出来るがしかし暦法でない ; $hypothesis$ = 「この元旦は成ず」ということは間違いでない ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「あらゆる物は取っ付き易くなくてかつ強肩でない」ということは確かである
事実2: なんらかの物は強肩でないけど取っ付き易いとしたらそれは暦法でない
事実3: もしもあの野菜類が酸化し難くないとしたらそれは強肩でなくてまた取っ付き易い
事実4: この元旦は成ず
事実5: あの本質的特徴は成ず
事実6: この元旦は放送用だ
事実7: この伝送速度は成ず
事実8: この皮切りは成ず
事実9: 取っ付き易くないものは解決出来るがしかし暦法でない

仮説: 「この元旦は成ず」ということは間違いでない
1. 事実4から、仮説が導かれる

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