「なにがしかのものは有るが確認し易くない」ということは嘘だ
fact1: 「なにかは言い返すがしかし社会・経済開発でない」ということは間違いであるとすればそれは社会・経済開発だ fact2: もし仮に「この九州探題は観賞する」ということは間違いでないなら宿泊するけど有らない fact3: 「あるものはむさくないけれどそれは追い掛けっこである」ということは成り立たないとしたら背反しない fact4: 「確認し易くない」物はある fact5: この九州探題は確認し易くない fact6: もしこの九州探題は背反しないとすれば「あの双子は抜刀でないけど代用食だ」ということは事実だ fact7: もしなにがしかの物は抜刀であるということはないとすると「言い返すしさらにそれは社会・経済開発でない」ということは成り立たない fact8: 社会・経済開発は悟り切るけれど確認し易くない fact9: ある物は有るし確認し易い fact10: 「この九州探題は社会・経済開発である」ということは真実だ fact11: もし仮にこの九州探題が社会・経済開発であるとしたら有るし確認し易いということはない fact12: この保存は有るが相応しいということはない
fact11 & fact10 -> int1: この九州探題は有るがしかし確認し易くない; int1 -> hypothesis;
fact11 & fact10 -> int1: ({AA}{a} & ¬{AB}{a}); int1 -> hypothesis;
あの双子は悟り切るがしかしそれは確認し易くない
fact15 -> int2: もしもあの双子は社会・経済開発ならば「それは悟り切るしおまけに確認し易くない」ということは本当である; fact17 -> int3: もし「あの双子は言い返すがそれは社会・経済開発だということはない」ということは事実でないとしたらそれは社会・経済開発である; fact16 -> int4: もしもあの双子は抜刀であるということはないとすれば「言い返すけれど社会・経済開発でない」ということは成り立たない; fact13 -> int5: もし仮に「この九州探題はむさくないがしかし追い掛けっこだ」ということは事実と異なるとしたら背反しない;
$facts$ = fact1: 「なにかは言い返すがしかし社会・経済開発でない」ということは間違いであるとすればそれは社会・経済開発だ fact2: もし仮に「この九州探題は観賞する」ということは間違いでないなら宿泊するけど有らない fact3: 「あるものはむさくないけれどそれは追い掛けっこである」ということは成り立たないとしたら背反しない fact4: 「確認し易くない」物はある fact5: この九州探題は確認し易くない fact6: もしこの九州探題は背反しないとすれば「あの双子は抜刀でないけど代用食だ」ということは事実だ fact7: もしなにがしかの物は抜刀であるということはないとすると「言い返すしさらにそれは社会・経済開発でない」ということは成り立たない fact8: 社会・経済開発は悟り切るけれど確認し易くない fact9: ある物は有るし確認し易い fact10: 「この九州探題は社会・経済開発である」ということは真実だ fact11: もし仮にこの九州探題が社会・経済開発であるとしたら有るし確認し易いということはない fact12: この保存は有るが相応しいということはない ; $hypothesis$ = 「なにがしかのものは有るが確認し易くない」ということは嘘だ ; $proof$ = 
fact11 & fact10 -> int1: この九州探題は有るがしかし確認し易くない; int1 -> hypothesis; __DISPROVED__
事実1: 「なにかは言い返すがしかし社会・経済開発でない」ということは間違いであるとすればそれは社会・経済開発だ
事実2: もし仮に「この九州探題は観賞する」ということは間違いでないなら宿泊するけど有らない
事実3: 「あるものはむさくないけれどそれは追い掛けっこである」ということは成り立たないとしたら背反しない
事実4: 「確認し易くない」物はある
事実5: この九州探題は確認し易くない
事実6: もしこの九州探題は背反しないとすれば「あの双子は抜刀でないけど代用食だ」ということは事実だ
事実7: もしなにがしかの物は抜刀であるということはないとすると「言い返すしさらにそれは社会・経済開発でない」ということは成り立たない
事実8: 社会・経済開発は悟り切るけれど確認し易くない
事実9: ある物は有るし確認し易い
事実10: 「この九州探題は社会・経済開発である」ということは真実だ
事実11: もし仮にこの九州探題が社会・経済開発であるとしたら有るし確認し易いということはない
事実12: この保存は有るが相応しいということはない

仮説: 「なにがしかのものは有るが確認し易くない」ということは嘘だ
1. 事実11と事実10から、推論1: "この九州探題は有るがしかし確認し易くない"が導かれる
2. 推論1から、仮説が否定される

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