この盆踊りは育成牛である
fact1: 「もし何らかのものが乏しくないなら株主以外だしおまけに意義深くない」ということは正しい fact2: あのバルナは賎しむかもしくは統率するかどちらもである fact3: もし仮になんらかのものは乏しくないとすれば「それは株主以外でないがしかし育成牛だ」ということは成り立たない fact4: もし「この盆踊りは株主以外でない一方で育成牛だ」ということは真実でないとするとあの御子達は株主以外である fact5: もしも「あの大阪モノレールは株主以外だ」ということは真実であるならこの盆踊りは育成牛である fact6: もしもあの大阪モノレールが統率するならそれは接客用語でない fact7: この盆踊りは株主以外である fact8: この盆踊りは意義深い fact9: 意義深い株主以外は育成牛でない fact10: 仮にある物は接客用語でないなら「それは登山家らしいししかも服用する」ということは間違っている fact11: もし仮にあのバルナが賎しめばあの大阪モノレールは統率する
fact7 & fact8 -> int1: この盆踊りは株主以外でそれは意義深い; fact9 -> int2: もしこの盆踊りは株主以外であるし更に意義深いなら育成牛だということはない; int1 & int2 -> hypothesis;
fact7 & fact8 -> int1: ({A}{a} & {B}{a}); fact9 -> int2: ({A}{a} & {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
あの御子達は意義深い
fact12 -> int3: この盆踊りは乏しいということはないならば「株主以外でなくてそれは育成牛だ」ということは成り立たない; fact16 -> int4: 仮にあの大阪モノレールは接客用語であるということはないとしたら「登山家らしいしおまけにそれは服用する」ということは間違っている;
$facts$ = fact1: 「もし何らかのものが乏しくないなら株主以外だしおまけに意義深くない」ということは正しい fact2: あのバルナは賎しむかもしくは統率するかどちらもである fact3: もし仮になんらかのものは乏しくないとすれば「それは株主以外でないがしかし育成牛だ」ということは成り立たない fact4: もし「この盆踊りは株主以外でない一方で育成牛だ」ということは真実でないとするとあの御子達は株主以外である fact5: もしも「あの大阪モノレールは株主以外だ」ということは真実であるならこの盆踊りは育成牛である fact6: もしもあの大阪モノレールが統率するならそれは接客用語でない fact7: この盆踊りは株主以外である fact8: この盆踊りは意義深い fact9: 意義深い株主以外は育成牛でない fact10: 仮にある物は接客用語でないなら「それは登山家らしいししかも服用する」ということは間違っている fact11: もし仮にあのバルナが賎しめばあの大阪モノレールは統率する ; $hypothesis$ = この盆踊りは育成牛である ; $proof$ = 
fact7 & fact8 -> int1: この盆踊りは株主以外でそれは意義深い; fact9 -> int2: もしこの盆踊りは株主以外であるし更に意義深いなら育成牛だということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「もし何らかのものが乏しくないなら株主以外だしおまけに意義深くない」ということは正しい
事実2: あのバルナは賎しむかもしくは統率するかどちらもである
事実3: もし仮になんらかのものは乏しくないとすれば「それは株主以外でないがしかし育成牛だ」ということは成り立たない
事実4: もし「この盆踊りは株主以外でない一方で育成牛だ」ということは真実でないとするとあの御子達は株主以外である
事実5: もしも「あの大阪モノレールは株主以外だ」ということは真実であるならこの盆踊りは育成牛である
事実6: もしもあの大阪モノレールが統率するならそれは接客用語でない
事実7: この盆踊りは株主以外である
事実8: この盆踊りは意義深い
事実9: 意義深い株主以外は育成牛でない
事実10: 仮にある物は接客用語でないなら「それは登山家らしいししかも服用する」ということは間違っている
事実11: もし仮にあのバルナが賎しめばあの大阪モノレールは統率する

仮説: この盆踊りは育成牛である
1. 事実7と事実8から、推論1: "この盆踊りは株主以外でそれは意義深い"が導かれる
2. 事実9から、推論2: "もしこの盆踊りは株主以外であるし更に意義深いなら育成牛だということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。