「「適しないが肯定す」ということは偽だとすれば来着する」物はある
fact1: 「もし仮に適するとしたら来着する」物はある fact2: もし「なにかは偉くないけれど取り回す」ということは間違いならそれは懇願する fact3: 仮に「その同属は収公しない一方で厭わしい」ということは成り立たないとしたら「来着する」ということは本当だ fact4: もし「その同属は肯定すらないがしかし後悔す」ということは本当であるということはないならそれはクレジット申し込み書だ fact5: もしも「その同属は測り兼ねらないが肯定す」ということは成り立たないとすれば貧乏臭い fact6: もし仮に「とあるものは灰色っぽいということはないがしかしそれは厭わしい」ということは正しくないならそれは適する fact7: もしも「その同属は天使らしくないけれど言い兼ねる」ということは確かだということはないならそれは御訪ねする fact8: もし仮に「その同属は規則正しくない一方で阿呆らしい」ということは嘘であるなら来着する fact9: 仮にその同属は適しないがしかし肯定すれば来着する fact10: 「もしも「色好くないし搬入手続きだ」ということは真実でないなら起こり難い」物はある fact11: 「仮に肯定すらないとすれば「来着する」ということは成り立つ」ものはある fact12: もし仮に「その同属は住み難くない一方で消防法施行規則である」ということは間違いだとしたらそれは肯定す fact13: もしもその同属が適するとしたらそれは来着する fact14: 「仮に「つれなくないけれど御強い」ということは偽なら誘導する」物はある fact15: 「仮に適しないしおまけに肯定すとしたら「来着する」ということは確かである」ものはある fact16: 「仮に「適するしその上肯定す」ということは正しくないとすれば来着する」物はある fact17: もしも「その同属は適するということはない一方でそれは肯定す」ということは成り立たないとしたらそれは来着する fact18: 「もしも「寒ーくない一方で見繕う」ということは事実と異なるとすれば取り回す」物はある fact19: 仮に「「その同属は適するということはない一方で話し易い」ということは成り立たない」ということは事実であるならば規則正しい fact20: もし仮に「とある物は薄汚くないがしかしそれはわりない」ということは成り立たないとしたら調和し難い fact21: 「「仮に「心苦しくないしそれに同じゅうする」ということは成り立たないとすると「憤激する」ということは正しい」物はある」ということは事実だ
fact17 -> hypothesis;
もし仮に「その同属は灰色っぽくない物であってさらに厭わしい」ということは誤っているなら適する
fact22 -> hypothesis;
$facts$ = fact1: 「もし仮に適するとしたら来着する」物はある fact2: もし「なにかは偉くないけれど取り回す」ということは間違いならそれは懇願する fact3: 仮に「その同属は収公しない一方で厭わしい」ということは成り立たないとしたら「来着する」ということは本当だ fact4: もし「その同属は肯定すらないがしかし後悔す」ということは本当であるということはないならそれはクレジット申し込み書だ fact5: もしも「その同属は測り兼ねらないが肯定す」ということは成り立たないとすれば貧乏臭い fact6: もし仮に「とあるものは灰色っぽいということはないがしかしそれは厭わしい」ということは正しくないならそれは適する fact7: もしも「その同属は天使らしくないけれど言い兼ねる」ということは確かだということはないならそれは御訪ねする fact8: もし仮に「その同属は規則正しくない一方で阿呆らしい」ということは嘘であるなら来着する fact9: 仮にその同属は適しないがしかし肯定すれば来着する fact10: 「もしも「色好くないし搬入手続きだ」ということは真実でないなら起こり難い」物はある fact11: 「仮に肯定すらないとすれば「来着する」ということは成り立つ」ものはある fact12: もし仮に「その同属は住み難くない一方で消防法施行規則である」ということは間違いだとしたらそれは肯定す fact13: もしもその同属が適するとしたらそれは来着する fact14: 「仮に「つれなくないけれど御強い」ということは偽なら誘導する」物はある fact15: 「仮に適しないしおまけに肯定すとしたら「来着する」ということは確かである」ものはある fact16: 「仮に「適するしその上肯定す」ということは正しくないとすれば来着する」物はある fact17: もしも「その同属は適するということはない一方でそれは肯定す」ということは成り立たないとしたらそれは来着する fact18: 「もしも「寒ーくない一方で見繕う」ということは事実と異なるとすれば取り回す」物はある fact19: 仮に「「その同属は適するということはない一方で話し易い」ということは成り立たない」ということは事実であるならば規則正しい fact20: もし仮に「とある物は薄汚くないがしかしそれはわりない」ということは成り立たないとしたら調和し難い fact21: 「「仮に「心苦しくないしそれに同じゅうする」ということは成り立たないとすると「憤激する」ということは正しい」物はある」ということは事実だ ; $hypothesis$ = 「「適しないが肯定す」ということは偽だとすれば来着する」物はある ; $proof$ = 
fact17 -> hypothesis; __PROVED__
事実1: 「もし仮に適するとしたら来着する」物はある
事実2: もし「なにかは偉くないけれど取り回す」ということは間違いならそれは懇願する
事実3: 仮に「その同属は収公しない一方で厭わしい」ということは成り立たないとしたら「来着する」ということは本当だ
事実4: もし「その同属は肯定すらないがしかし後悔す」ということは本当であるということはないならそれはクレジット申し込み書だ
事実5: もしも「その同属は測り兼ねらないが肯定す」ということは成り立たないとすれば貧乏臭い
事実6: もし仮に「とあるものは灰色っぽいということはないがしかしそれは厭わしい」ということは正しくないならそれは適する
事実7: もしも「その同属は天使らしくないけれど言い兼ねる」ということは確かだということはないならそれは御訪ねする
事実8: もし仮に「その同属は規則正しくない一方で阿呆らしい」ということは嘘であるなら来着する
事実9: 仮にその同属は適しないがしかし肯定すれば来着する
事実10: 「もしも「色好くないし搬入手続きだ」ということは真実でないなら起こり難い」物はある
事実11: 「仮に肯定すらないとすれば「来着する」ということは成り立つ」ものはある
事実12: もし仮に「その同属は住み難くない一方で消防法施行規則である」ということは間違いだとしたらそれは肯定す
事実13: もしもその同属が適するとしたらそれは来着する
事実14: 「仮に「つれなくないけれど御強い」ということは偽なら誘導する」物はある
事実15: 「仮に適しないしおまけに肯定すとしたら「来着する」ということは確かである」ものはある
事実16: 「仮に「適するしその上肯定す」ということは正しくないとすれば来着する」物はある
事実17: もしも「その同属は適するということはない一方でそれは肯定す」ということは成り立たないとしたらそれは来着する
事実18: 「もしも「寒ーくない一方で見繕う」ということは事実と異なるとすれば取り回す」物はある
事実19: 仮に「「その同属は適するということはない一方で話し易い」ということは成り立たない」ということは事実であるならば規則正しい
事実20: もし仮に「とある物は薄汚くないがしかしそれはわりない」ということは成り立たないとしたら調和し難い
事実21: 「「仮に「心苦しくないしそれに同じゅうする」ということは成り立たないとすると「憤激する」ということは正しい」物はある」ということは事実だ

仮説: 「「適しないが肯定す」ということは偽だとすれば来着する」物はある
1. 事実17から、仮説が導かれる

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