「もしも現地入りしないけど復員すれば真ん丸い」物はある
fact1: 「もしも現地入りするしそれに復員すれば真ん丸い」ものはある fact2: 仮に何かは現地入りするということはないけれど復員するとすれば真ん丸い fact3: もし仮にその最上層部は現地入りするし復員するとすれば「それは真ん丸い」ということは確かである fact4: もしも登山家らしくないものがひもじいとしたらそれは無い fact5: もしなにがしかの物が重ね合わせでないけどそれが新現実主義だとするとくねくねする fact6: もし仮にある物は現地入りするし復員するなら真ん丸い
fact2 -> int1: 「「その最上層部は現地入りしない一方で復員する」ということは成り立つならばあの最上層部は真ん丸い」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「もしも現地入りするしそれに復員すれば真ん丸い」ものはある fact2: 仮に何かは現地入りするということはないけれど復員するとすれば真ん丸い fact3: もし仮にその最上層部は現地入りするし復員するとすれば「それは真ん丸い」ということは確かである fact4: もしも登山家らしくないものがひもじいとしたらそれは無い fact5: もしなにがしかの物が重ね合わせでないけどそれが新現実主義だとするとくねくねする fact6: もし仮にある物は現地入りするし復員するなら真ん丸い ; $hypothesis$ = 「もしも現地入りしないけど復員すれば真ん丸い」物はある ; $proof$ = 
fact2 -> int1: 「「その最上層部は現地入りしない一方で復員する」ということは成り立つならばあの最上層部は真ん丸い」ということは成り立つ; int1 -> hypothesis; __PROVED__
事実1: 「もしも現地入りするしそれに復員すれば真ん丸い」ものはある
事実2: 仮に何かは現地入りするということはないけれど復員するとすれば真ん丸い
事実3: もし仮にその最上層部は現地入りするし復員するとすれば「それは真ん丸い」ということは確かである
事実4: もしも登山家らしくないものがひもじいとしたらそれは無い
事実5: もしなにがしかの物が重ね合わせでないけどそれが新現実主義だとするとくねくねする
事実6: もし仮にある物は現地入りするし復員するなら真ん丸い

仮説: 「もしも現地入りしないけど復員すれば真ん丸い」物はある
1. 事実2から、推論1: "「「その最上層部は現地入りしない一方で復員する」ということは成り立つならばあの最上層部は真ん丸い」ということは成り立つ"が導かれる
2. 推論1から、仮説が導かれる

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