「もし仮に需要変動でない一方でネイティブらしいとすると四十年基準でない」物はある
fact1: 「もし仮に見晴らさないが御掃除伯父さんであるならば歩き難くない」ものはある fact2: その使用計画が従者でないけれどそれが割れ難いとするとそれは四十年基準だということはない fact3: 「もし仮に純粋種だということはないが五年以下不給なら轟きでない」ものはある fact4: 「もし仮にさもしくないし再読するなら十検体であるということはない」物はある fact5: 「もし仮に気まずいということはないけれど測定出来るとするとからかわない」物はある fact6: 「もし仮にＤ社でないし加えて操舵角だとすれば測定出来ない」物はある fact7: その使用計画は需要変動であるということはないがネイティブらしいならばそれは四十年基準である fact8: その門扉閉鎖は従者でないけれど四十年基準ならば紫檀であるということはない fact9: もしその使用計画が需要変動だしそれにネイティブらしいとするとそれは四十年基準でない fact10: 「仮に遊牧でないし可愛過ぎるとしたら登録審査会であるということはない」物はある fact11: 仮にその使用計画が極まりないということはないけれど言い終えるとするとそれは四十年基準でない fact12: 「需要変動だし更にネイティブらしいなら四十年基準でない」物はある fact13: 「もしも歩き難くないけどさもしいなら計量しない」ものはある fact14: 「構え易くないけれど腐り易いならば純粋種でない」ものはある fact15: 「もし立ち竦まないけど知覚するとすると管腔側でない」ものはある fact16: もしもその使用計画が利用され易くないけどそれはネイティブらしいとすると「それは掘り進まない」ということは成り立つ fact17: もしもその出漁が四十年基準でない一方で共産主義国であるならばそれは札幌地裁でない fact18: 仮にその負け組は抱き支えないがしかし需要変動であるならば煩わしくない fact19: 「需要変動でないしさらにネイティブらしいとすれば四十年基準である」ものはある fact20: 仮にその使用計画が需要変動でないけれどネイティブらしいとすると四十年基準でない fact21: 仮に何らかのものはオクタン酸であるということはない一方で世界人口であるとするとそれは恐れ多くない
fact20 -> hypothesis;
「もしオクタン酸でなくて加えて世界人口であるとすると恐れ多くない」ものはある
fact22 -> int1: もし仮にそのディジタル署名はオクタン酸でない一方で世界人口であるとすると「それは恐れ多くない」ということは成り立つ; int1 -> 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$ = 
fact20 -> hypothesis; __PROVED__
事実1: 「もし仮に見晴らさないが御掃除伯父さんであるならば歩き難くない」ものはある
事実2: その使用計画が従者でないけれどそれが割れ難いとするとそれは四十年基準だということはない
事実3: 「もし仮に純粋種だということはないが五年以下不給なら轟きでない」ものはある
事実4: 「もし仮にさもしくないし再読するなら十検体であるということはない」物はある
事実5: 「もし仮に気まずいということはないけれど測定出来るとするとからかわない」物はある
事実6: 「もし仮にＤ社でないし加えて操舵角だとすれば測定出来ない」物はある
事実7: その使用計画は需要変動であるということはないがネイティブらしいならばそれは四十年基準である
事実8: その門扉閉鎖は従者でないけれど四十年基準ならば紫檀であるということはない
事実9: もしその使用計画が需要変動だしそれにネイティブらしいとするとそれは四十年基準でない
事実10: 「仮に遊牧でないし可愛過ぎるとしたら登録審査会であるということはない」物はある
事実11: 仮にその使用計画が極まりないということはないけれど言い終えるとするとそれは四十年基準でない
事実12: 「需要変動だし更にネイティブらしいなら四十年基準でない」物はある
事実13: 「もしも歩き難くないけどさもしいなら計量しない」ものはある
事実14: 「構え易くないけれど腐り易いならば純粋種でない」ものはある
事実15: 「もし立ち竦まないけど知覚するとすると管腔側でない」ものはある
事実16: もしもその使用計画が利用され易くないけどそれはネイティブらしいとすると「それは掘り進まない」ということは成り立つ
事実17: もしもその出漁が四十年基準でない一方で共産主義国であるならばそれは札幌地裁でない
事実18: 仮にその負け組は抱き支えないがしかし需要変動であるならば煩わしくない
事実19: 「需要変動でないしさらにネイティブらしいとすれば四十年基準である」ものはある
事実20: 仮にその使用計画が需要変動でないけれどネイティブらしいとすると四十年基準でない
事実21: 仮に何らかのものはオクタン酸であるということはない一方で世界人口であるとするとそれは恐れ多くない

仮説: 「もし仮に需要変動でない一方でネイティブらしいとすると四十年基準でない」物はある
1. 事実20から、仮説が導かれる

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