あの晩酌は分詞構文だ
fact1: もし仮にとあるものが撫で摩るがしかし軽ーいということはないとすれば「それは分詞構文でない」ということは成り立つ fact2: この妄念は軽ーい fact3: あのフラッグは順応し易い fact4: もしあの晩酌が撫で摩るならあの国家安全保障局は当たり易い fact5: もしあのフラッグが順応し易いならば掻き易くてさらに共鳴説であるということはない fact6: あの日本国籍は分詞構文である fact7: あのフラッグが掻き易いけどそれが共鳴説でないならあの国家安全保障局は期待し難くない fact8: 期待し難くないものは福岡・佐賀両県でない fact9: もし仮にこの平穏が財政権であるけれど言語表現でないとするとあのパセリは財政権でない fact10: もしもあの晩酌は軽ーいとすると「あの国家安全保障局は分詞構文だ」ということは成り立つ fact11: その渇望がリラックス出来るとすればこの平穏は財政権である一方で言語表現でない fact12: もし仮にあの国家安全保障局が軽ーいとするとこの学校事務は撫で摩る fact13: あのパセリが財政権でないならあの晩酌は同居するしまた出版部だ fact14: あの国家安全保障局は軽ーいかあるいは撫で摩るかまたは両方ともだ fact15: もしあの晩酌が清々しいとすればあの国家安全保障局は分詞構文である fact16: 仮にあの国家安全保障局が福岡・佐賀両県でないとしたらあの晩酌は撫で摩る fact17: もしもあの国家安全保障局が軽ーいとしたらあの晩酌は分詞構文である fact18: もしもあの国家安全保障局は軽ーいとすれば「あの晩酌は撫で摩る」ということは真実である fact19: もし仮にある物は同居するし出版部だとすれば「軽ーいということはない」ということは確かである fact20: あの晩酌が軽ーいならあの国家安全保障局は撫で摩る fact21: もし仮に「あの国家安全保障局は分詞構文である」ということは事実であるとすればあの晩酌は軽ーい fact22: もし仮に「あの国家安全保障局は分詞構文である」ということは真実であるならあの晩酌は撫で摩る fact23: あの国家安全保障局が撫で摩るならあの晩酌は分詞構文だ
fact14 & fact17 & fact23 -> hypothesis;
あの晩酌は分詞構文でない
fact33 -> int1: もしあの晩酌が撫で摩る一方で軽ーくないならそれは分詞構文だということはない; fact31 -> int2: もしあの国家安全保障局は期待し難くないなら福岡・佐賀両県だということはない; fact30 & fact24 -> int3: あのフラッグは掻き易いが共鳴説でない; fact32 & int3 -> int4: あの国家安全保障局は期待し難いということはない; int2 & int4 -> int5: あの国家安全保障局は福岡・佐賀両県でない; fact29 & int5 -> int6: あの晩酌は撫で摩る; fact28 -> int7: あの晩酌が同居するしかつ出版部だとすれば軽ーくない;
$facts$ = fact1: もし仮にとあるものが撫で摩るがしかし軽ーいということはないとすれば「それは分詞構文でない」ということは成り立つ fact2: この妄念は軽ーい fact3: あのフラッグは順応し易い fact4: もしあの晩酌が撫で摩るならあの国家安全保障局は当たり易い fact5: もしあのフラッグが順応し易いならば掻き易くてさらに共鳴説であるということはない fact6: あの日本国籍は分詞構文である fact7: あのフラッグが掻き易いけどそれが共鳴説でないならあの国家安全保障局は期待し難くない fact8: 期待し難くないものは福岡・佐賀両県でない fact9: もし仮にこの平穏が財政権であるけれど言語表現でないとするとあのパセリは財政権でない fact10: もしもあの晩酌は軽ーいとすると「あの国家安全保障局は分詞構文だ」ということは成り立つ fact11: その渇望がリラックス出来るとすればこの平穏は財政権である一方で言語表現でない fact12: もし仮にあの国家安全保障局が軽ーいとするとこの学校事務は撫で摩る fact13: あのパセリが財政権でないならあの晩酌は同居するしまた出版部だ fact14: あの国家安全保障局は軽ーいかあるいは撫で摩るかまたは両方ともだ fact15: もしあの晩酌が清々しいとすればあの国家安全保障局は分詞構文である fact16: 仮にあの国家安全保障局が福岡・佐賀両県でないとしたらあの晩酌は撫で摩る fact17: もしもあの国家安全保障局が軽ーいとしたらあの晩酌は分詞構文である fact18: もしもあの国家安全保障局は軽ーいとすれば「あの晩酌は撫で摩る」ということは真実である fact19: もし仮にある物は同居するし出版部だとすれば「軽ーいということはない」ということは確かである fact20: あの晩酌が軽ーいならあの国家安全保障局は撫で摩る fact21: もし仮に「あの国家安全保障局は分詞構文である」ということは事実であるとすればあの晩酌は軽ーい fact22: もし仮に「あの国家安全保障局は分詞構文である」ということは真実であるならあの晩酌は撫で摩る fact23: あの国家安全保障局が撫で摩るならあの晩酌は分詞構文だ ; $hypothesis$ = あの晩酌は分詞構文だ ; $proof$ = 
fact14 & fact17 & fact23 -> hypothesis; __PROVED__
事実1: もし仮にとあるものが撫で摩るがしかし軽ーいということはないとすれば「それは分詞構文でない」ということは成り立つ
事実2: この妄念は軽ーい
事実3: あのフラッグは順応し易い
事実4: もしあの晩酌が撫で摩るならあの国家安全保障局は当たり易い
事実5: もしあのフラッグが順応し易いならば掻き易くてさらに共鳴説であるということはない
事実6: あの日本国籍は分詞構文である
事実7: あのフラッグが掻き易いけどそれが共鳴説でないならあの国家安全保障局は期待し難くない
事実8: 期待し難くないものは福岡・佐賀両県でない
事実9: もし仮にこの平穏が財政権であるけれど言語表現でないとするとあのパセリは財政権でない
事実10: もしもあの晩酌は軽ーいとすると「あの国家安全保障局は分詞構文だ」ということは成り立つ
事実11: その渇望がリラックス出来るとすればこの平穏は財政権である一方で言語表現でない
事実12: もし仮にあの国家安全保障局が軽ーいとするとこの学校事務は撫で摩る
事実13: あのパセリが財政権でないならあの晩酌は同居するしまた出版部だ
事実14: あの国家安全保障局は軽ーいかあるいは撫で摩るかまたは両方ともだ
事実15: もしあの晩酌が清々しいとすればあの国家安全保障局は分詞構文である
事実16: 仮にあの国家安全保障局が福岡・佐賀両県でないとしたらあの晩酌は撫で摩る
事実17: もしもあの国家安全保障局が軽ーいとしたらあの晩酌は分詞構文である
事実18: もしもあの国家安全保障局は軽ーいとすれば「あの晩酌は撫で摩る」ということは真実である
事実19: もし仮にある物は同居するし出版部だとすれば「軽ーいということはない」ということは確かである
事実20: あの晩酌が軽ーいならあの国家安全保障局は撫で摩る
事実21: もし仮に「あの国家安全保障局は分詞構文である」ということは事実であるとすればあの晩酌は軽ーい
事実22: もし仮に「あの国家安全保障局は分詞構文である」ということは真実であるならあの晩酌は撫で摩る
事実23: あの国家安全保障局が撫で摩るならあの晩酌は分詞構文だ

仮説: あの晩酌は分詞構文だ
1. 事実14と事実17と事実23から、仮説が導かれる

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