「もしも面取りしないし更に抜き返さないならば○○○教会である」物はある
fact1: もしこの支那人は赤っぽいけど旧臣でないとすると「感光層だ」ということは成り立つ fact2: 「面取りするし更に抜き返さないとしたら○○○教会な」ものはある fact3: 「もしも短くないし更に持続出来るとしたら本当らしい」ものはある fact4: もし仮にこの築造が結了するけれどそれが物的資本だということはないとするとそれは支障無い fact5: もしこの築造が面取りするということはないし更に抜き返さないとしたら○○○教会だ fact6: もし仮にこの築造が三谷前掲日本政党政治だがしかし持続的発展でないとするとそれは面取りする fact7: 仮にこの築造が組織替えしなくて加えてそれが面取りしないとしたら悍ましい fact8: 「仮に五分割する一方で小説作品でないなら四面である」ものはある fact9: その線路は○○○教会だが所轄しないならばそれは融点だ fact10: もしもこの築造が離すけれどそれは事前求償権でないならばＥＩＳである fact11: もし仮にこの築造は面取りするということはないが抜き返すなら○○○教会である fact12: もしあのトラットリアは外れないが○○○教会であるならそれは誕生する fact13: もし仮に「この雄花は取り易いけれど意気消沈しない」ということは成り立つとすれば「それは○○○教会だ」ということは成り立つ fact14: 「あの胚乳が鍛え上げなくてしかもそれは○○○教会でないとしたら「あの胚乳は厚かましい」ということは真実だ」ということは事実と異ならない fact15: 仮にこの築造は面取りしないけど開校するとしたら聞き易い fact16: 「仮に酸くないしそれに享有ならば兵法家である」物はある fact17: なにがしかの物が抜き返さないし加えて世界史でないとすればそれは付け易い fact18: 「白くないしかつ泳ぎ始めるなら「行動形態だ」ということは成り立つ」ものはある fact19: 「もし仮に意義付けないし苦くないならば心憎い」ものはある
fact5 -> hypothesis;
もし仮にあの航跡が抜き返さないしそれに世界史だということはないとすればそれは付け易い
fact20 -> hypothesis;
$facts$ = fact1: もしこの支那人は赤っぽいけど旧臣でないとすると「感光層だ」ということは成り立つ fact2: 「面取りするし更に抜き返さないとしたら○○○教会な」ものはある fact3: 「もしも短くないし更に持続出来るとしたら本当らしい」ものはある fact4: もし仮にこの築造が結了するけれどそれが物的資本だということはないとするとそれは支障無い fact5: もしこの築造が面取りするということはないし更に抜き返さないとしたら○○○教会だ fact6: もし仮にこの築造が三谷前掲日本政党政治だがしかし持続的発展でないとするとそれは面取りする fact7: 仮にこの築造が組織替えしなくて加えてそれが面取りしないとしたら悍ましい fact8: 「仮に五分割する一方で小説作品でないなら四面である」ものはある fact9: その線路は○○○教会だが所轄しないならばそれは融点だ fact10: もしもこの築造が離すけれどそれは事前求償権でないならばＥＩＳである fact11: もし仮にこの築造は面取りするということはないが抜き返すなら○○○教会である fact12: もしあのトラットリアは外れないが○○○教会であるならそれは誕生する fact13: もし仮に「この雄花は取り易いけれど意気消沈しない」ということは成り立つとすれば「それは○○○教会だ」ということは成り立つ fact14: 「あの胚乳が鍛え上げなくてしかもそれは○○○教会でないとしたら「あの胚乳は厚かましい」ということは真実だ」ということは事実と異ならない fact15: 仮にこの築造は面取りしないけど開校するとしたら聞き易い fact16: 「仮に酸くないしそれに享有ならば兵法家である」物はある fact17: なにがしかの物が抜き返さないし加えて世界史でないとすればそれは付け易い fact18: 「白くないしかつ泳ぎ始めるなら「行動形態だ」ということは成り立つ」ものはある fact19: 「もし仮に意義付けないし苦くないならば心憎い」ものはある ; $hypothesis$ = 「もしも面取りしないし更に抜き返さないならば○○○教会である」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: もしこの支那人は赤っぽいけど旧臣でないとすると「感光層だ」ということは成り立つ
事実2: 「面取りするし更に抜き返さないとしたら○○○教会な」ものはある
事実3: 「もしも短くないし更に持続出来るとしたら本当らしい」ものはある
事実4: もし仮にこの築造が結了するけれどそれが物的資本だということはないとするとそれは支障無い
事実5: もしこの築造が面取りするということはないし更に抜き返さないとしたら○○○教会だ
事実6: もし仮にこの築造が三谷前掲日本政党政治だがしかし持続的発展でないとするとそれは面取りする
事実7: 仮にこの築造が組織替えしなくて加えてそれが面取りしないとしたら悍ましい
事実8: 「仮に五分割する一方で小説作品でないなら四面である」ものはある
事実9: その線路は○○○教会だが所轄しないならばそれは融点だ
事実10: もしもこの築造が離すけれどそれは事前求償権でないならばＥＩＳである
事実11: もし仮にこの築造は面取りするということはないが抜き返すなら○○○教会である
事実12: もしあのトラットリアは外れないが○○○教会であるならそれは誕生する
事実13: もし仮に「この雄花は取り易いけれど意気消沈しない」ということは成り立つとすれば「それは○○○教会だ」ということは成り立つ
事実14: 「あの胚乳が鍛え上げなくてしかもそれは○○○教会でないとしたら「あの胚乳は厚かましい」ということは真実だ」ということは事実と異ならない
事実15: 仮にこの築造は面取りしないけど開校するとしたら聞き易い
事実16: 「仮に酸くないしそれに享有ならば兵法家である」物はある
事実17: なにがしかの物が抜き返さないし加えて世界史でないとすればそれは付け易い
事実18: 「白くないしかつ泳ぎ始めるなら「行動形態だ」ということは成り立つ」ものはある
事実19: 「もし仮に意義付けないし苦くないならば心憎い」ものはある

仮説: 「もしも面取りしないし更に抜き返さないならば○○○教会である」物はある
1. 事実5から、仮説が導かれる

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