「もし敷き詰めるけれど後述しないならば出入りし易い」物はある
fact1: もしもこの深入りは敷き詰めるしまた後述するなら出入りし易い fact2: もし仮に悪しものがそつ無くないとすれば安全保障理事会だ fact3: 何らかの物が敷き詰めるし後述するならそれは出入りし易い fact4: 仮にあの詩法は結ぶ一方で剥離し難くないならば出入りし易い fact5: 「もし仮に敷き詰めるしそれに後述すれば「出入りし易い」ということは本当である」物はある fact6: もし仮に何かは敷き詰める一方で後述しないならそれは出入りし易い fact7: もしこの開館は敷き詰めるけど前倒ししないとしたら確保す
fact6 -> int1: もし仮にこの深入りは敷き詰めるけど後述しないならばそれは出入りし易い; int1 -> hypothesis;
もし仮にこの三晩は悪しがしかしそつ無いということはないならそれは安全保障理事会だ
fact8 -> hypothesis;
$facts$ = fact1: もしもこの深入りは敷き詰めるしまた後述するなら出入りし易い fact2: もし仮に悪しものがそつ無くないとすれば安全保障理事会だ fact3: 何らかの物が敷き詰めるし後述するならそれは出入りし易い fact4: 仮にあの詩法は結ぶ一方で剥離し難くないならば出入りし易い fact5: 「もし仮に敷き詰めるしそれに後述すれば「出入りし易い」ということは本当である」物はある fact6: もし仮に何かは敷き詰める一方で後述しないならそれは出入りし易い fact7: もしこの開館は敷き詰めるけど前倒ししないとしたら確保す ; $hypothesis$ = 「もし敷き詰めるけれど後述しないならば出入りし易い」物はある ; $proof$ = 
fact6 -> int1: もし仮にこの深入りは敷き詰めるけど後述しないならばそれは出入りし易い; int1 -> hypothesis; __PROVED__
事実1: もしもこの深入りは敷き詰めるしまた後述するなら出入りし易い
事実2: もし仮に悪しものがそつ無くないとすれば安全保障理事会だ
事実3: 何らかの物が敷き詰めるし後述するならそれは出入りし易い
事実4: 仮にあの詩法は結ぶ一方で剥離し難くないならば出入りし易い
事実5: 「もし仮に敷き詰めるしそれに後述すれば「出入りし易い」ということは本当である」物はある
事実6: もし仮に何かは敷き詰める一方で後述しないならそれは出入りし易い
事実7: もしこの開館は敷き詰めるけど前倒ししないとしたら確保す

仮説: 「もし敷き詰めるけれど後述しないならば出入りし易い」物はある
1. 事実6から、推論1: "もし仮にこの深入りは敷き詰めるけど後述しないならばそれは出入りし易い"が導かれる
2. 推論1から、仮説が導かれる

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