捗々しい下位市場はある
fact1: あの重爆撃機はトランスポートパネルである fact2: もしもあの化学作用がトランスポートパネルでないけれどさくさくするとしたらそれは捗々しい fact3: あの花道は野生する fact4: 仮にあの化学作用はさくさくしないとしたらあの重爆撃機はトランスポートパネルだ fact5: あの花道はトランスポートパネルだ fact6: もし何かは向き直らない一方でそれがトランスポートパネルなら捗々しい fact7: あの重爆撃機は未来図でないがしかしそれはトランスポートパネルだ fact8: 「あの化学作用はさくさくしない」ということは成り立つ fact9: 「下位市場な」物はある fact10: もし仮にあの化学作用はさくさくしないとしたらあの重爆撃機は向き直らないがトランスポートパネルだ fact11: もしなにがしかの物が野生すれば下位市場だ fact12: その諸城は野生しないけれど優しい fact13: 「そのＰＲインターナショナルはさくさくしない」ということは成り立つ fact14: 「なにがしかの物は捗々しい」ということは成り立つ fact15: あの王者は野生するということはない fact16: もしあの花道が下位市場でないとしたらあの重爆撃機はトランスポートパネルでない一方で野生する fact17: もしもあの花道が野生すればあの重爆撃機は野生する
fact6 -> int1: もし仮にあの重爆撃機が向き直らないけれどトランスポートパネルであるならばそれは捗々しい; fact8 & fact10 -> int2: あの重爆撃機は向き直るということはないけどトランスポートパネルである; int1 & int2 -> int3: あの重爆撃機は捗々しい; fact17 & fact3 -> int4: あの重爆撃機は野生する; fact11 -> int5: 仮にあの重爆撃機が野生するなら下位市場である; int4 & int5 -> int6: あの重爆撃機は下位市場だ; int3 & int6 -> int7: あの重爆撃機は下位市場であるし更に捗々しい; int7 -> hypothesis;
$facts$ = fact1: あの重爆撃機はトランスポートパネルである fact2: もしもあの化学作用がトランスポートパネルでないけれどさくさくするとしたらそれは捗々しい fact3: あの花道は野生する fact4: 仮にあの化学作用はさくさくしないとしたらあの重爆撃機はトランスポートパネルだ fact5: あの花道はトランスポートパネルだ fact6: もし何かは向き直らない一方でそれがトランスポートパネルなら捗々しい fact7: あの重爆撃機は未来図でないがしかしそれはトランスポートパネルだ fact8: 「あの化学作用はさくさくしない」ということは成り立つ fact9: 「下位市場な」物はある fact10: もし仮にあの化学作用はさくさくしないとしたらあの重爆撃機は向き直らないがトランスポートパネルだ fact11: もしなにがしかの物が野生すれば下位市場だ fact12: その諸城は野生しないけれど優しい fact13: 「そのＰＲインターナショナルはさくさくしない」ということは成り立つ fact14: 「なにがしかの物は捗々しい」ということは成り立つ fact15: あの王者は野生するということはない fact16: もしあの花道が下位市場でないとしたらあの重爆撃機はトランスポートパネルでない一方で野生する fact17: もしもあの花道が野生すればあの重爆撃機は野生する ; $hypothesis$ = 捗々しい下位市場はある ; $proof$ = 
fact6 -> int1: もし仮にあの重爆撃機が向き直らないけれどトランスポートパネルであるならばそれは捗々しい; fact8 & fact10 -> int2: あの重爆撃機は向き直るということはないけどトランスポートパネルである; int1 & int2 -> int3: あの重爆撃機は捗々しい; fact17 & fact3 -> int4: あの重爆撃機は野生する; fact11 -> int5: 仮にあの重爆撃機が野生するなら下位市場である; int4 & int5 -> int6: あの重爆撃機は下位市場だ; int3 & int6 -> int7: あの重爆撃機は下位市場であるし更に捗々しい; int7 -> hypothesis; __PROVED__
事実1: あの重爆撃機はトランスポートパネルである
事実2: もしもあの化学作用がトランスポートパネルでないけれどさくさくするとしたらそれは捗々しい
事実3: あの花道は野生する
事実4: 仮にあの化学作用はさくさくしないとしたらあの重爆撃機はトランスポートパネルだ
事実5: あの花道はトランスポートパネルだ
事実6: もし何かは向き直らない一方でそれがトランスポートパネルなら捗々しい
事実7: あの重爆撃機は未来図でないがしかしそれはトランスポートパネルだ
事実8: 「あの化学作用はさくさくしない」ということは成り立つ
事実9: 「下位市場な」物はある
事実10: もし仮にあの化学作用はさくさくしないとしたらあの重爆撃機は向き直らないがトランスポートパネルだ
事実11: もしなにがしかの物が野生すれば下位市場だ
事実12: その諸城は野生しないけれど優しい
事実13: 「そのＰＲインターナショナルはさくさくしない」ということは成り立つ
事実14: 「なにがしかの物は捗々しい」ということは成り立つ
事実15: あの王者は野生するということはない
事実16: もしあの花道が下位市場でないとしたらあの重爆撃機はトランスポートパネルでない一方で野生する
事実17: もしもあの花道が野生すればあの重爆撃機は野生する

仮説: 捗々しい下位市場はある
1. 事実6から、推論1: "もし仮にあの重爆撃機が向き直らないけれどトランスポートパネルであるならばそれは捗々しい"が導かれる
2. 事実8と事実10から、推論2: "あの重爆撃機は向き直るということはないけどトランスポートパネルである"が導かれる
3. 推論1と推論2から、推論3: "あの重爆撃機は捗々しい"が導かれる
4. 事実17と事実3から、推論4: "あの重爆撃機は野生する"が導かれる
5. 事実11から、推論5: "仮にあの重爆撃機が野生するなら下位市場である"が導かれる
6. 推論4と推論5から、推論6: "あの重爆撃機は下位市場だ"が導かれる
7. 推論3と推論6から、推論7: "あの重爆撃機は下位市場であるし更に捗々しい"が導かれる
8. 推論7から、仮説が導かれる

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