「切り出さないかもしくは深くないかもしくは両方ともならば免許人でない」物はある
fact1: もし仮にあの訪日観光交流倍増計画は切り出さないかまたは深くないかあるいは両方だとすればそれは免許人だ fact2: 「もしも切り出すということはないか深いとしたら免許人でない」物はある fact3: 仮にあの訪日観光交流倍増計画が切り出さないとしたらそれは免許人でない fact4: 仮にあの訪日観光交流倍増計画は切り出さないか深くないかもしくは両方ともであるなら免許人でない fact5: もし仮にあの訪日観光交流倍増計画は脳炎でないか忍耐強くないかもしくは両方であるならそれはディコードしない fact6: 「「もし切り出すかもしくは深くないかまたは両方だとすると免許人でない」ものはある」ということは正しい fact7: 「「もしマックス・ローチでないかもしくは書き取らないかあるいは両方であるとしたらワンカップでない」ものはある」ということは成り立つ fact8: あの訪日観光交流倍増計画はめんどいということはないかもしくは教育訓練だということはないかもしくはどちらもだとするとそれは切り出さない fact9: 「もしも切り出さないとしたら免許人でない」ものはある fact10: 仮にあの訪日観光交流倍増計画が切り出さないかもしくは深いか両方ともだとすると免許人でない fact11: もしあの訪日観光交流倍増計画が忝くないかあるいはそれは免許人でないかあるいは両方であるとすると瑞々しくない fact12: 仮になんらかのものが人懐っこくないかあるいは生麺でないか両方ともであるとしたらそれは免許人でない fact13: もしもこの浜育ちがチェックアウトでないかまたはそれが鎮火しないならばそれは免許人でない fact14: あの訪日観光交流倍増計画が潜脱しないかあるいはそれが深くないとするとそれは欠損部でない fact15: 「深くないとすると免許人でない」物はある fact16: 「仮に切り出さないかもしくは深くないかまたは両方であるなら免許人な」物はある fact17: 「もしもあの訪日観光交流倍増計画が特定施設入所者生活介護でないかもしくは小宰相でないかまたはどちらもであるならあの訪日観光交流倍増計画は免許人でない」ということは誤りでない fact18: あの訪日観光交流倍増計画が伝習生でないかまたはそれはソースコードプログラムでないか両方であるとしたら応対しない fact19: もしその下人達は切り出さないかあるいはしおらしくないかまたは両方ともであるとすればそれは巻き起こらない
fact4 -> 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$ = 
fact4 -> hypothesis; __PROVED__
事実1: もし仮にあの訪日観光交流倍増計画は切り出さないかまたは深くないかあるいは両方だとすればそれは免許人だ
事実2: 「もしも切り出すということはないか深いとしたら免許人でない」物はある
事実3: 仮にあの訪日観光交流倍増計画が切り出さないとしたらそれは免許人でない
事実4: 仮にあの訪日観光交流倍増計画は切り出さないか深くないかもしくは両方ともであるなら免許人でない
事実5: もし仮にあの訪日観光交流倍増計画は脳炎でないか忍耐強くないかもしくは両方であるならそれはディコードしない
事実6: 「「もし切り出すかもしくは深くないかまたは両方だとすると免許人でない」ものはある」ということは正しい
事実7: 「「もしマックス・ローチでないかもしくは書き取らないかあるいは両方であるとしたらワンカップでない」ものはある」ということは成り立つ
事実8: あの訪日観光交流倍増計画はめんどいということはないかもしくは教育訓練だということはないかもしくはどちらもだとするとそれは切り出さない
事実9: 「もしも切り出さないとしたら免許人でない」ものはある
事実10: 仮にあの訪日観光交流倍増計画が切り出さないかもしくは深いか両方ともだとすると免許人でない
事実11: もしあの訪日観光交流倍増計画が忝くないかあるいはそれは免許人でないかあるいは両方であるとすると瑞々しくない
事実12: 仮になんらかのものが人懐っこくないかあるいは生麺でないか両方ともであるとしたらそれは免許人でない
事実13: もしもこの浜育ちがチェックアウトでないかまたはそれが鎮火しないならばそれは免許人でない
事実14: あの訪日観光交流倍増計画が潜脱しないかあるいはそれが深くないとするとそれは欠損部でない
事実15: 「深くないとすると免許人でない」物はある
事実16: 「仮に切り出さないかもしくは深くないかまたは両方であるなら免許人な」物はある
事実17: 「もしもあの訪日観光交流倍増計画が特定施設入所者生活介護でないかもしくは小宰相でないかまたはどちらもであるならあの訪日観光交流倍増計画は免許人でない」ということは誤りでない
事実18: あの訪日観光交流倍増計画が伝習生でないかまたはそれはソースコードプログラムでないか両方であるとしたら応対しない
事実19: もしその下人達は切り出さないかあるいはしおらしくないかまたは両方ともであるとすればそれは巻き起こらない

仮説: 「切り出さないかもしくは深くないかもしくは両方ともならば免許人でない」物はある
1. 事実4から、仮説が導かれる

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