その新事業機会は作図オプションメニューであるしそれに補給出来る
fact1: その新事業機会は移り易い fact2: 仮になにかはＺＺ一因子受容体アンタゴニストでないとすれば「作図オプションメニューだしさらにそれは移り易くない」ということは偽である fact3: もしもあるものは定量すれば「それは汚れ易い」ということは真実だ fact4: あの大帯姫は移り易くて更にそれは布陣する fact5: もしその要スリーセットが薬剤耐性菌でないがしかし汚れ易いとするとこの政治指導者は届き易いということはない fact6: その新事業機会はメソジスト監督教会だ fact7: もし仮に「ある物は入れ易いということはない一方で掃き落とす」ということは誤りであるとすればＺＺ一因子受容体アンタゴニストでない fact8: もし「あの大帯姫は作図オプションメニューでないけど移り易い」ということは事実と異なるならその新事業機会は彷彿する fact9: その新事業機会は移り易くて掃き落とす fact10: その要スリーセットは定量する fact11: 「あの大帯姫は下ろし易くない一方で彷彿する」ということは成り立たない fact12: もしも「その新事業機会は下ろし易いということはないが移り易い」ということは成り立たないとしたらあの大帯姫は作図オプションメニューだ fact13: なにがしかの物は届き易くないなら「入れ易くないけど掃き落とす」ということは事実と異なる fact14: 仮にあの大帯姫は下ろし易いとすると「その新事業機会は補給出来る」ということは事実と異ならない fact15: その新事業機会は作図オプションメニューだし移り易い fact16: もし「この政治指導者は作図オプションメニューだ一方で移り易くない」ということは誤りであるならあの大帯姫は作図オプションメニューでない fact17: 「あの大帯姫は下ろし易くて彷彿する」ということは成り立たない fact18: 「その新事業機会は補給出来ないけどそれは下ろし易い」ということは成り立たない fact19: その収益性は農学校だし加えて退院・退所計画だ fact20: 仮に「あの大帯姫は下ろし易くないがしかし彷彿する」ということは間違いならその新事業機会は補給出来る fact21: その要スリーセットは薬剤耐性菌だということはない
fact20 & fact11 -> int1: 「その新事業機会は補給出来る」ということは成り立つ; fact15 -> int2: その新事業機会は作図オプションメニューだ; int1 & int2 -> hypothesis;
fact20 & fact11 -> int1: {B}{b}; fact15 -> int2: {A}{b}; int1 & int2 -> hypothesis;
「その新事業機会は作図オプションメニューであるし補給出来る」ということは誤りだ
fact27 -> int3: 仮にこの政治指導者はＺＺ一因子受容体アンタゴニストでないならば「作図オプションメニューであるが移り易くない」ということは誤っている; fact22 -> int4: 「この政治指導者は入れ易いということはないけどそれは掃き落とす」ということは間違っているとすればＺＺ一因子受容体アンタゴニストでない; fact23 -> int5: 仮にこの政治指導者は届き易くないなら「入れ易くないしさらに掃き落とす」ということは偽である; fact26 -> int6: もしも「その要スリーセットは定量する」ということは本当なら汚れ易い; int6 & fact25 -> int7: 「その要スリーセットは汚れ易い」ということは事実だ; fact28 & int7 -> int8: その要スリーセットは薬剤耐性菌でないけど汚れ易い; fact24 & int8 -> int9: 「この政治指導者は届き易くない」ということは成り立つ; int5 & int9 -> int10: 「この政治指導者は入れ易くないけれど掃き落とす」ということは成り立つということはない; int4 & int10 -> int11: この政治指導者はＺＺ一因子受容体アンタゴニストでない; int3 & int11 -> int12: 「この政治指導者は作図オプションメニューであるがしかし移り易くない」ということは成り立たない; fact29 & int12 -> int13: あの大帯姫は作図オプションメニューでない; int13 -> int14: とある物は作図オプションメニューでない;
$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 & fact11 -> int1: 「その新事業機会は補給出来る」ということは成り立つ; fact15 -> int2: その新事業機会は作図オプションメニューだ; int1 & int2 -> 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と事実11から、推論1: "「その新事業機会は補給出来る」ということは成り立つ"が導かれる
2. 事実15から、推論2: "その新事業機会は作図オプションメニューだ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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