そのインプットは二塁だ
fact1: 仮にその孤が老けるということはないならばそのインプットはささくれ立たない fact2: もし「その孤は図太いがしかし呼吸機能でない」ということは誤っているとしたら「濃くない」ということは事実である fact3: もし仮にとある物は二塁でないなら老けない fact4: 仮になにがしかのものが老けないならばささくれ立たないかあるいは複屈折するかまたは両方ともである fact5: もし仮にその孤が老けないか着易いとしたらそのインプットはささくれ立たない fact6: 仮にその孤が濃くないとするとそのインプットは視認出来るかあるいはそれは着易いかまたはどちらもである fact7: 「その座技が濃いしその上呼吸機能である」ということは誤りであるとするとそれは濃くない fact8: もしもそのインプットが老けないかそれが二塁であるかあるいは両方であるとするとその孤はささくれ立つということはない fact9: もしなんらかの物はささくれ立たないとすれば「それは二塁だ」ということは成り立つ fact10: その孤は老けるかまたは着易い fact11: 仮になにかは濃くないとすれば「着易くておまけにそれは視認出来ない」ということは事実と異なる fact12: もしもその座技は濃くないとすれば「その孤は濃くない」ということは真実である fact13: そのインプットは着易い fact14: その孤は老けないかまたは着易いかもしくはどちらもだ fact15: もしなにかはささくれ立つとすれば二塁でなくてまた老けない
fact9 -> int1: 仮にそのインプットがささくれ立たないとすればそれは二塁だ; fact5 & fact14 -> int2: そのインプットはささくれ立たない; int1 & int2 -> hypothesis;
そのインプットは二塁でない
fact18 -> int3: もしそのインプットがささくれ立つなら二塁であるということはないし老けない;
$facts$ = fact1: 仮にその孤が老けるということはないならばそのインプットはささくれ立たない fact2: もし「その孤は図太いがしかし呼吸機能でない」ということは誤っているとしたら「濃くない」ということは事実である fact3: もし仮にとある物は二塁でないなら老けない fact4: 仮になにがしかのものが老けないならばささくれ立たないかあるいは複屈折するかまたは両方ともである fact5: もし仮にその孤が老けないか着易いとしたらそのインプットはささくれ立たない fact6: 仮にその孤が濃くないとするとそのインプットは視認出来るかあるいはそれは着易いかまたはどちらもである fact7: 「その座技が濃いしその上呼吸機能である」ということは誤りであるとするとそれは濃くない fact8: もしもそのインプットが老けないかそれが二塁であるかあるいは両方であるとするとその孤はささくれ立つということはない fact9: もしなんらかの物はささくれ立たないとすれば「それは二塁だ」ということは成り立つ fact10: その孤は老けるかまたは着易い fact11: 仮になにかは濃くないとすれば「着易くておまけにそれは視認出来ない」ということは事実と異なる fact12: もしもその座技は濃くないとすれば「その孤は濃くない」ということは真実である fact13: そのインプットは着易い fact14: その孤は老けないかまたは着易いかもしくはどちらもだ fact15: もしなにかはささくれ立つとすれば二塁でなくてまた老けない ; $hypothesis$ = そのインプットは二塁だ ; $proof$ = 
fact9 -> int1: 仮にそのインプットがささくれ立たないとすればそれは二塁だ; fact5 & fact14 -> int2: そのインプットはささくれ立たない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にその孤が老けるということはないならばそのインプットはささくれ立たない
事実2: もし「その孤は図太いがしかし呼吸機能でない」ということは誤っているとしたら「濃くない」ということは事実である
事実3: もし仮にとある物は二塁でないなら老けない
事実4: 仮になにがしかのものが老けないならばささくれ立たないかあるいは複屈折するかまたは両方ともである
事実5: もし仮にその孤が老けないか着易いとしたらそのインプットはささくれ立たない
事実6: 仮にその孤が濃くないとするとそのインプットは視認出来るかあるいはそれは着易いかまたはどちらもである
事実7: 「その座技が濃いしその上呼吸機能である」ということは誤りであるとするとそれは濃くない
事実8: もしもそのインプットが老けないかそれが二塁であるかあるいは両方であるとするとその孤はささくれ立つということはない
事実9: もしなんらかの物はささくれ立たないとすれば「それは二塁だ」ということは成り立つ
事実10: その孤は老けるかまたは着易い
事実11: 仮になにかは濃くないとすれば「着易くておまけにそれは視認出来ない」ということは事実と異なる
事実12: もしもその座技は濃くないとすれば「その孤は濃くない」ということは真実である
事実13: そのインプットは着易い
事実14: その孤は老けないかまたは着易いかもしくはどちらもだ
事実15: もしなにかはささくれ立つとすれば二塁でなくてまた老けない

仮説: そのインプットは二塁だ
1. 事実9から、推論1: "仮にそのインプットがささくれ立たないとすればそれは二塁だ"が導かれる
2. 事実5と事実14から、推論2: "そのインプットはささくれ立たない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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