「もし周辺地形だということはないなら「行き難いということはない一方で結合し易い」ということは偽である」ものはある
fact1: 「仮に周辺地形でないならば「行き難いしその上結合し易い」ということは成り立たない」ものはある fact2: 「もし仮に周辺地形でないならば行き難くなくてそれに結合し易い」物はある fact3: 仮にこの整数演算は周辺地形でないならば「それは行き難くないがしかし結合し易い」ということは事実でない fact4: 「もしも注意深くないとすると「マッチョでなくて更に眠たい」ということは成り立たない」ものはある fact5: この整数演算は周辺地形だとすると「それは行き難くないがしかし結合し易い」ということは事実と異なる fact6: もしもあの施工技術は咬合しないとしたら「それは咬合しないけれど結合し易い」ということは正しくない fact7: もしこの整数演算は周辺地形でないなら「それは行き難いし更にそれは結合し易い」ということは偽である fact8: もしこの整数演算は結合し易くないならば「横暴さだということはないけれどインタビューする」ということは誤っている fact9: 「周辺地形であるとしたら「行き難くなくて結合し易い」ということは間違いである」ものはある fact10: この整数演算が忍ばさないとすると見付け難くないししかも祈りする fact11: もしこの整数演算は周辺地形だとしたら「手早くないが止む無し」ということは成り立たない fact12: 「もし惜敗するということはないとしたら「立ち上がり掛けないし加えてパッケージ化する」ということは嘘な」ものはある fact13: 仮にこの整数演算は周辺地形でないならそれは行き難くないけれど結合し易い fact14: 何らかの物は活動し易くないならば「「強しないしまたそれは自警団である」ということは真実だ」ということは成り立つということはない fact15: 「もし切り過ぎるとしたら「訴え掛けるということはなくてしかも拭き終わる」ということは成り立つということはない」物はある
fact3 -> hypothesis;
「もし「活動し易くない」ということは成り立つとすると「強しないしそれに自警団だ」ということは事実と異なる」物はある
fact16 -> int1: 仮にこのフランス革命史は活動し易くないなら「それは強しないしそれにそれは自警団である」ということは偽だ; int1 -> hypothesis;
$facts$ = fact1: 「仮に周辺地形でないならば「行き難いしその上結合し易い」ということは成り立たない」ものはある fact2: 「もし仮に周辺地形でないならば行き難くなくてそれに結合し易い」物はある fact3: 仮にこの整数演算は周辺地形でないならば「それは行き難くないがしかし結合し易い」ということは事実でない fact4: 「もしも注意深くないとすると「マッチョでなくて更に眠たい」ということは成り立たない」ものはある fact5: この整数演算は周辺地形だとすると「それは行き難くないがしかし結合し易い」ということは事実と異なる fact6: もしもあの施工技術は咬合しないとしたら「それは咬合しないけれど結合し易い」ということは正しくない fact7: もしこの整数演算は周辺地形でないなら「それは行き難いし更にそれは結合し易い」ということは偽である fact8: もしこの整数演算は結合し易くないならば「横暴さだということはないけれどインタビューする」ということは誤っている fact9: 「周辺地形であるとしたら「行き難くなくて結合し易い」ということは間違いである」ものはある fact10: この整数演算が忍ばさないとすると見付け難くないししかも祈りする fact11: もしこの整数演算は周辺地形だとしたら「手早くないが止む無し」ということは成り立たない fact12: 「もし惜敗するということはないとしたら「立ち上がり掛けないし加えてパッケージ化する」ということは嘘な」ものはある fact13: 仮にこの整数演算は周辺地形でないならそれは行き難くないけれど結合し易い fact14: 何らかの物は活動し易くないならば「「強しないしまたそれは自警団である」ということは真実だ」ということは成り立つということはない fact15: 「もし切り過ぎるとしたら「訴え掛けるということはなくてしかも拭き終わる」ということは成り立つということはない」物はある ; $hypothesis$ = 「もし周辺地形だということはないなら「行き難いということはない一方で結合し易い」ということは偽である」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「仮に周辺地形でないならば「行き難いしその上結合し易い」ということは成り立たない」ものはある
事実2: 「もし仮に周辺地形でないならば行き難くなくてそれに結合し易い」物はある
事実3: 仮にこの整数演算は周辺地形でないならば「それは行き難くないがしかし結合し易い」ということは事実でない
事実4: 「もしも注意深くないとすると「マッチョでなくて更に眠たい」ということは成り立たない」ものはある
事実5: この整数演算は周辺地形だとすると「それは行き難くないがしかし結合し易い」ということは事実と異なる
事実6: もしもあの施工技術は咬合しないとしたら「それは咬合しないけれど結合し易い」ということは正しくない
事実7: もしこの整数演算は周辺地形でないなら「それは行き難いし更にそれは結合し易い」ということは偽である
事実8: もしこの整数演算は結合し易くないならば「横暴さだということはないけれどインタビューする」ということは誤っている
事実9: 「周辺地形であるとしたら「行き難くなくて結合し易い」ということは間違いである」ものはある
事実10: この整数演算が忍ばさないとすると見付け難くないししかも祈りする
事実11: もしこの整数演算は周辺地形だとしたら「手早くないが止む無し」ということは成り立たない
事実12: 「もし惜敗するということはないとしたら「立ち上がり掛けないし加えてパッケージ化する」ということは嘘な」ものはある
事実13: 仮にこの整数演算は周辺地形でないならそれは行き難くないけれど結合し易い
事実14: 何らかの物は活動し易くないならば「「強しないしまたそれは自警団である」ということは真実だ」ということは成り立つということはない
事実15: 「もし切り過ぎるとしたら「訴え掛けるということはなくてしかも拭き終わる」ということは成り立つということはない」物はある

仮説: 「もし周辺地形だということはないなら「行き難いということはない一方で結合し易い」ということは偽である」ものはある
1. 事実3から、仮説が導かれる

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