「あの必須条件はべた付き易い」ということは事実だ
fact1: もしも「その一要素は南至り邪馬壹国女王でない」ということは成り立つとすればこの拝は二つ分だしかつ発つ fact2: 仮にとあるものはグランドピアノであるということはないかまたは最初であるかもしくは両方ともだとすればそれはべた付き易くない fact3: もし仮にその一要素は二晩であるということはないとしたら移ろい易いけど狂い回らない fact4: その一要素は二晩でない fact5: あるものは精白する fact6: 買い易くない物は艶っぽいかまたはシェでない fact7: もしあの必須条件は最初であるなら「それはべた付き易くない」ということは成り立つ fact8: 「二つ分は考え辛くないが掴み難い」ということは成り立つ fact9: もしも住み良い物が薄汚くないならそれはべた付き易い fact10: もしなにがしかの物が煮詰まるししかも狙い易いとすればそれは南至り邪馬壹国女王でない fact11: もしなんらかのものは分節すれば「それは指令しない」ということは成り立つ fact12: その一要素は狙い易い fact13: 住み良くない物は最初で更に薄汚い fact14: もしも「なにがしかの物は精白しないかあるいはそれは急き込む」ということは事実と異なるとするとそれは住み良くない fact15: もしも「この拝はシェでない」ということは事実であるとすると「あの仕様化は精白しないかもしくは急き込むかもしくはどちらもだ」ということは誤っている fact16: あの必須条件はグランドピアノでない fact17: 何かは考え辛くないがしかし掴み難いとすると買い易くない fact18: もし仮に「あの必須条件はべた付き易い」ということは本当だとするとあの難民支援はグランドピアノであるかもしくは最初でないかあるいは両方だ fact19: もしもとある物は艶っぽいかまたはシェでないとするとそれはシェでない fact20: もし仮になんらかのものはグランドピアノであるかまたは最初でないなら「最初でない」ということは成り立つ fact21: もし「その一要素は移ろい易いけれどそれは狂い回るということはない」ということは正しいならば「煮詰まる」ということは事実だ
fact16 -> int1: あの必須条件はグランドピアノでないかまたは最初であるかもしくはどちらもだ; fact2 -> int2: 仮にあの必須条件はグランドピアノでないかもしくは最初であるかあるいはどちらもであるなら「べた付き易くない」ということは正しい; int1 & int2 -> hypothesis;
fact16 -> int1: (¬{A}{a} v {B}{a}); fact2 -> int2: (¬{A}{a} v {B}{a}) -> ¬{C}{a}; int1 & int2 -> hypothesis;
あの難民支援は最初でない
fact24 -> int3: もしあの難民支援はグランドピアノであるかあるいは最初でないかまたはどちらもだとすると最初でない; fact23 -> int4: もしもあの必須条件は住み良いけれど薄汚いということはないならばそれはべた付き易い;
$facts$ = fact1: もしも「その一要素は南至り邪馬壹国女王でない」ということは成り立つとすればこの拝は二つ分だしかつ発つ fact2: 仮にとあるものはグランドピアノであるということはないかまたは最初であるかもしくは両方ともだとすればそれはべた付き易くない fact3: もし仮にその一要素は二晩であるということはないとしたら移ろい易いけど狂い回らない fact4: その一要素は二晩でない fact5: あるものは精白する fact6: 買い易くない物は艶っぽいかまたはシェでない fact7: もしあの必須条件は最初であるなら「それはべた付き易くない」ということは成り立つ fact8: 「二つ分は考え辛くないが掴み難い」ということは成り立つ fact9: もしも住み良い物が薄汚くないならそれはべた付き易い fact10: もしなにがしかの物が煮詰まるししかも狙い易いとすればそれは南至り邪馬壹国女王でない fact11: もしなんらかのものは分節すれば「それは指令しない」ということは成り立つ fact12: その一要素は狙い易い fact13: 住み良くない物は最初で更に薄汚い fact14: もしも「なにがしかの物は精白しないかあるいはそれは急き込む」ということは事実と異なるとするとそれは住み良くない fact15: もしも「この拝はシェでない」ということは事実であるとすると「あの仕様化は精白しないかもしくは急き込むかもしくはどちらもだ」ということは誤っている fact16: あの必須条件はグランドピアノでない fact17: 何かは考え辛くないがしかし掴み難いとすると買い易くない fact18: もし仮に「あの必須条件はべた付き易い」ということは本当だとするとあの難民支援はグランドピアノであるかもしくは最初でないかあるいは両方だ fact19: もしもとある物は艶っぽいかまたはシェでないとするとそれはシェでない fact20: もし仮になんらかのものはグランドピアノであるかまたは最初でないなら「最初でない」ということは成り立つ fact21: もし「その一要素は移ろい易いけれどそれは狂い回るということはない」ということは正しいならば「煮詰まる」ということは事実だ ; $hypothesis$ = 「あの必須条件はべた付き易い」ということは事実だ ; $proof$ = 
fact16 -> int1: あの必須条件はグランドピアノでないかまたは最初であるかもしくはどちらもだ; fact2 -> int2: 仮にあの必須条件はグランドピアノでないかもしくは最初であるかあるいはどちらもであるなら「べた付き易くない」ということは正しい; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「その一要素は南至り邪馬壹国女王でない」ということは成り立つとすればこの拝は二つ分だしかつ発つ
事実2: 仮にとあるものはグランドピアノであるということはないかまたは最初であるかもしくは両方ともだとすればそれはべた付き易くない
事実3: もし仮にその一要素は二晩であるということはないとしたら移ろい易いけど狂い回らない
事実4: その一要素は二晩でない
事実5: あるものは精白する
事実6: 買い易くない物は艶っぽいかまたはシェでない
事実7: もしあの必須条件は最初であるなら「それはべた付き易くない」ということは成り立つ
事実8: 「二つ分は考え辛くないが掴み難い」ということは成り立つ
事実9: もしも住み良い物が薄汚くないならそれはべた付き易い
事実10: もしなにがしかの物が煮詰まるししかも狙い易いとすればそれは南至り邪馬壹国女王でない
事実11: もしなんらかのものは分節すれば「それは指令しない」ということは成り立つ
事実12: その一要素は狙い易い
事実13: 住み良くない物は最初で更に薄汚い
事実14: もしも「なにがしかの物は精白しないかあるいはそれは急き込む」ということは事実と異なるとするとそれは住み良くない
事実15: もしも「この拝はシェでない」ということは事実であるとすると「あの仕様化は精白しないかもしくは急き込むかもしくはどちらもだ」ということは誤っている
事実16: あの必須条件はグランドピアノでない
事実17: 何かは考え辛くないがしかし掴み難いとすると買い易くない
事実18: もし仮に「あの必須条件はべた付き易い」ということは本当だとするとあの難民支援はグランドピアノであるかもしくは最初でないかあるいは両方だ
事実19: もしもとある物は艶っぽいかまたはシェでないとするとそれはシェでない
事実20: もし仮になんらかのものはグランドピアノであるかまたは最初でないなら「最初でない」ということは成り立つ
事実21: もし「その一要素は移ろい易いけれどそれは狂い回るということはない」ということは正しいならば「煮詰まる」ということは事実だ

仮説: 「あの必須条件はべた付き易い」ということは事実だ
1. 事実16から、推論1: "あの必須条件はグランドピアノでないかまたは最初であるかもしくはどちらもだ"が導かれる
2. 事実2から、推論2: "仮にあの必須条件はグランドピアノでないかもしくは最初であるかあるいはどちらもであるなら「べた付き易くない」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が否定される

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