もしこの八房が思わしくないならそれはアクセスし易くない
fact1: 仮にある物が掘り込まないとするとそれは保存ダイアログだ fact2: もしもなにかは強靭さでないなら「それは進み始めない」ということは確かである fact3: もしもこの八房が堪り易いならそれは著効しない fact4: もし仮になにがしかのものは思わしくないとすれば「アクセスし易くない」ということは成り立つ fact5: 懐かしないものは動き難い fact6: 思わしいものはアクセスし易くない fact7: もし何かは逃すということはないとしたらそれは移り難い fact8: 仮に「この八房は思わしくない」ということは確かでないとすれば相対性理論でない fact9: 仮にこの八房が思わしくないならばそれはアクセスし易い
fact4 -> hypothesis;
fact4 -> hypothesis;
$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から、仮説が導かれる

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