その低音部はマッチングしないがしかし五百人以上である
fact1: 「とある物はカテゴリー化するけれど冷や御飯でない」ということは成り立たないとするとミドルタワーである fact2: もしもある物は体育・スポーツでないししかも三角さんでないならミドルタワーだ fact3: もしもこの仮定的独占者はミドルタワーであるとすると「その低音部はマッチングするしかつ五百人以上だ」ということは間違っている fact4: もし仮にこの仮定的独占者はミドルタワーだとしたら「その低音部はマッチングしないが五百人以上だ」ということは誤りである fact5: もしもなにがしかのものが感じ易くないなら発現し易い fact6: もしこの仮定的独占者がカテゴリー化しないとしたらミドルタワーである fact7: 「その低音部はミドルタワーでしかも五百人以上である」ということは事実と異なる fact8: なんらかの物が居座り続けないとすると澄ますということはない fact9: 「その低音部は冷や御飯であるしまたそれはマッチングする」ということは成り立たない fact10: もしもその低音部は五百人以上だとすると「この仮定的独占者はカテゴリー化するししかもマッチングする」ということは誤りである fact11: 「この仮定的独占者はカテゴリー化するがそれは冷や御飯でない」ということは偽だ fact12: もしこの仮定的独占者は冷や御飯ならば「その低音部がカテゴリー化するしその上それは五百人以上である」ということは誤りである
fact1 -> int1: もしも「この仮定的独占者はカテゴリー化する一方で冷や御飯でない」ということは事実と異なるとしたらミドルタワーである; int1 & fact11 -> int2: この仮定的独占者はミドルタワーだ; int2 & fact4 -> hypothesis;
その低音部はマッチングしないけれど五百人以上だ
fact13 -> int3: 仮に「この物理計測は体育・スポーツでなくて三角さんでない」ということは本当だとしたらミドルタワーだ; fact14 -> int4: このトレーナーが居座り続けないとするとそれは澄まさない;
$facts$ = fact1: 「とある物はカテゴリー化するけれど冷や御飯でない」ということは成り立たないとするとミドルタワーである fact2: もしもある物は体育・スポーツでないししかも三角さんでないならミドルタワーだ fact3: もしもこの仮定的独占者はミドルタワーであるとすると「その低音部はマッチングするしかつ五百人以上だ」ということは間違っている fact4: もし仮にこの仮定的独占者はミドルタワーだとしたら「その低音部はマッチングしないが五百人以上だ」ということは誤りである fact5: もしもなにがしかのものが感じ易くないなら発現し易い fact6: もしこの仮定的独占者がカテゴリー化しないとしたらミドルタワーである fact7: 「その低音部はミドルタワーでしかも五百人以上である」ということは事実と異なる fact8: なんらかの物が居座り続けないとすると澄ますということはない fact9: 「その低音部は冷や御飯であるしまたそれはマッチングする」ということは成り立たない fact10: もしもその低音部は五百人以上だとすると「この仮定的独占者はカテゴリー化するししかもマッチングする」ということは誤りである fact11: 「この仮定的独占者はカテゴリー化するがそれは冷や御飯でない」ということは偽だ fact12: もしこの仮定的独占者は冷や御飯ならば「その低音部がカテゴリー化するしその上それは五百人以上である」ということは誤りである ; $hypothesis$ = その低音部はマッチングしないがしかし五百人以上である ; $proof$ = 
fact1 -> int1: もしも「この仮定的独占者はカテゴリー化する一方で冷や御飯でない」ということは事実と異なるとしたらミドルタワーである; int1 & fact11 -> int2: この仮定的独占者はミドルタワーだ; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 「とある物はカテゴリー化するけれど冷や御飯でない」ということは成り立たないとするとミドルタワーである
事実2: もしもある物は体育・スポーツでないししかも三角さんでないならミドルタワーだ
事実3: もしもこの仮定的独占者はミドルタワーであるとすると「その低音部はマッチングするしかつ五百人以上だ」ということは間違っている
事実4: もし仮にこの仮定的独占者はミドルタワーだとしたら「その低音部はマッチングしないが五百人以上だ」ということは誤りである
事実5: もしもなにがしかのものが感じ易くないなら発現し易い
事実6: もしこの仮定的独占者がカテゴリー化しないとしたらミドルタワーである
事実7: 「その低音部はミドルタワーでしかも五百人以上である」ということは事実と異なる
事実8: なんらかの物が居座り続けないとすると澄ますということはない
事実9: 「その低音部は冷や御飯であるしまたそれはマッチングする」ということは成り立たない
事実10: もしもその低音部は五百人以上だとすると「この仮定的独占者はカテゴリー化するししかもマッチングする」ということは誤りである
事実11: 「この仮定的独占者はカテゴリー化するがそれは冷や御飯でない」ということは偽だ
事実12: もしこの仮定的独占者は冷や御飯ならば「その低音部がカテゴリー化するしその上それは五百人以上である」ということは誤りである

仮説: その低音部はマッチングしないがしかし五百人以上である
1. 事実1から、推論1: "もしも「この仮定的独占者はカテゴリー化する一方で冷や御飯でない」ということは事実と異なるとしたらミドルタワーである"が導かれる
2. 推論1と事実11から、推論2: "この仮定的独占者はミドルタワーだ"が導かれる
3. 推論2と事実4から、仮説が否定される

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