この指揮部は一民族でない
fact1: 仮にそのアクセプターがちまちまするしおまけにそれが鉢合わせるとしたらその遊興はちまちましない fact2: あの舞台回しは攻略出来るけれどそれは発射でない fact3: 「もし仮にその遊興が一民族であるとすればこの指揮部はＭＡＩＮメソッドである」ということは本当である fact4: 「あの舞台回しは発射でない一方でそれはちまちまする」ということは間違いならばそのアクセプターはちまちましない fact5: もしもとある物がアーメンでないならＭＡＩＮメソッドであるかもしくはそれは数え切れる fact6: その遊興がアーメンであるならこの指揮部は一民族である fact7: もしもその遊興は一民族だとすると「アーメンだ」ということは真実だ fact8: もし仮にその遊興がＭＡＩＮメソッドだとするとこのシェアはＭＡＩＮメソッドである fact9: その常緑低木は一民族だ fact10: 「「聞き得る」ということは間違いでない」ものはある fact11: もしもあの舞台回しが攻略出来るけれどそれは発射でないならそれは素晴らしくない fact12: もし「その遊興はＭＡＩＮメソッドである」ということは本当ならアーメンだ fact13: その遊興は激発する fact14: もし仮になにがしかのものがちまちましないならそれはＭＡＩＮメソッドでないかあるいは数え切れない fact15: あの藍はＭＡＩＮメソッドである fact16: 仮になにがしかのものが素晴らしくないとしたらそのアクセプターはちまちまするししかも鉢合わせる fact17: 仮に「この指揮部はちまちまするし素晴らしい」ということは成り立つということはないとすればその遊興はアーメンでない fact18: もしその遊興が数え切れるならばあのシェアはＭＡＩＮメソッドだ fact19: 「この指揮部はアーメンである」ということは成り立つ fact20: もし仮にあの舞台回しは鉢合わせるとすれば「それは発射でないけれどちまちまする」ということは嘘だ fact21: その遊興はＭＡＩＮメソッドである fact22: その各図はアーメンだ fact23: もし仮にとある物はＭＡＩＮメソッドであるなら「一民族だけれどアーメンでない」ということは事実と異なる
fact12 & fact21 -> int1: その遊興はアーメンである; int1 & fact6 -> hypothesis;
この指揮部は一民族でない
fact29 -> int2: もしこの指揮部はＭＡＩＮメソッドならば「それは一民族であるけれどアーメンでない」ということは確かでない; fact26 -> int3: 仮にその遊興がちまちましないとするとそれはＭＡＩＮメソッドでないかそれは数え切れるということはない; fact27 & fact28 -> int4: あの舞台回しは素晴らしいということはない; int4 -> int5: 「素晴らしくない」物はある; int5 & fact24 -> int6: そのアクセプターはちまちまするしかつ鉢合わせる; fact25 & int6 -> int7: その遊興はちまちまするということはない; int3 & int7 -> int8: その遊興はＭＡＩＮメソッドでないかあるいはそれは数え切れない;
$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$ = 
fact12 & fact21 -> int1: その遊興はアーメンである; int1 & fact6 -> hypothesis; __DISPROVED__
事実1: 仮にそのアクセプターがちまちまするしおまけにそれが鉢合わせるとしたらその遊興はちまちましない
事実2: あの舞台回しは攻略出来るけれどそれは発射でない
事実3: 「もし仮にその遊興が一民族であるとすればこの指揮部はＭＡＩＮメソッドである」ということは本当である
事実4: 「あの舞台回しは発射でない一方でそれはちまちまする」ということは間違いならばそのアクセプターはちまちましない
事実5: もしもとある物がアーメンでないならＭＡＩＮメソッドであるかもしくはそれは数え切れる
事実6: その遊興がアーメンであるならこの指揮部は一民族である
事実7: もしもその遊興は一民族だとすると「アーメンだ」ということは真実だ
事実8: もし仮にその遊興がＭＡＩＮメソッドだとするとこのシェアはＭＡＩＮメソッドである
事実9: その常緑低木は一民族だ
事実10: 「「聞き得る」ということは間違いでない」ものはある
事実11: もしもあの舞台回しが攻略出来るけれどそれは発射でないならそれは素晴らしくない
事実12: もし「その遊興はＭＡＩＮメソッドである」ということは本当ならアーメンだ
事実13: その遊興は激発する
事実14: もし仮になにがしかのものがちまちましないならそれはＭＡＩＮメソッドでないかあるいは数え切れない
事実15: あの藍はＭＡＩＮメソッドである
事実16: 仮になにがしかのものが素晴らしくないとしたらそのアクセプターはちまちまするししかも鉢合わせる
事実17: 仮に「この指揮部はちまちまするし素晴らしい」ということは成り立つということはないとすればその遊興はアーメンでない
事実18: もしその遊興が数え切れるならばあのシェアはＭＡＩＮメソッドだ
事実19: 「この指揮部はアーメンである」ということは成り立つ
事実20: もし仮にあの舞台回しは鉢合わせるとすれば「それは発射でないけれどちまちまする」ということは嘘だ
事実21: その遊興はＭＡＩＮメソッドである
事実22: その各図はアーメンだ
事実23: もし仮にとある物はＭＡＩＮメソッドであるなら「一民族だけれどアーメンでない」ということは事実と異なる

仮説: この指揮部は一民族でない
1. 事実12と事実21から、推論1: "その遊興はアーメンである"が導かれる
2. 推論1と事実6から、仮説が否定される

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