その位置覚は麗しない
fact1: 仮に「あの世界経済は運び屋であるということはないけれどそれは姓氏だ」ということは成り立たないならばその位置覚は麗し fact2: もしその付加過程が肝炎でないとしたらあの約束通りは入れ墨するし更に表面増強効果だ fact3: もしあの世界経済は区切れないとすれば「その位置覚は運び屋であるし加えて麗し」ということは成り立たない fact4: もしなんらかの物は区切れれば「「あの世界経済は運び屋でないけれど姓氏である」ということは成り立たない」ということは成り立つ fact5: もしも何かは入れ墨するとしたら「姓氏だということはないけど区切れる」ということは確かでない fact6: 仮に「何かは姓氏でないけど区切れる」ということは偽であるならそれは区切れない fact7: もしも「なんらかのものは運び屋であるし加えて麗し」ということは偽ならば麗しない fact8: 「なんらかの物は区切れる」ということは事実だ fact9: もし仮にあの世界経済が姓氏でないとするとその位置覚は麗し fact10: あの約束通りが入れ墨するとすればあの世界経済は入れ墨する
fact8 & fact4 -> int1: 「あの世界経済は運び屋だということはないけど姓氏だ」ということは間違いである; int1 & fact1 -> hypothesis;
fact8 & fact4 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact1 -> hypothesis;
その位置覚は麗しない
fact15 -> int2: 仮に「その位置覚は運び屋であるし麗し」ということは誤っているとすれば麗しない; fact13 -> int3: 仮に「あの世界経済は姓氏でないけれどそれは区切れる」ということは成り立たないとしたら区切れない; fact12 -> int4: もし仮にあの世界経済は入れ墨するとすれば「それは姓氏でなくて区切れる」ということは誤っている;
$facts$ = fact1: 仮に「あの世界経済は運び屋であるということはないけれどそれは姓氏だ」ということは成り立たないならばその位置覚は麗し fact2: もしその付加過程が肝炎でないとしたらあの約束通りは入れ墨するし更に表面増強効果だ fact3: もしあの世界経済は区切れないとすれば「その位置覚は運び屋であるし加えて麗し」ということは成り立たない fact4: もしなんらかの物は区切れれば「「あの世界経済は運び屋でないけれど姓氏である」ということは成り立たない」ということは成り立つ fact5: もしも何かは入れ墨するとしたら「姓氏だということはないけど区切れる」ということは確かでない fact6: 仮に「何かは姓氏でないけど区切れる」ということは偽であるならそれは区切れない fact7: もしも「なんらかのものは運び屋であるし加えて麗し」ということは偽ならば麗しない fact8: 「なんらかの物は区切れる」ということは事実だ fact9: もし仮にあの世界経済が姓氏でないとするとその位置覚は麗し fact10: あの約束通りが入れ墨するとすればあの世界経済は入れ墨する ; $hypothesis$ = その位置覚は麗しない ; $proof$ = 
fact8 & fact4 -> int1: 「あの世界経済は運び屋だということはないけど姓氏だ」ということは間違いである; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「あの世界経済は運び屋であるということはないけれどそれは姓氏だ」ということは成り立たないならばその位置覚は麗し
事実2: もしその付加過程が肝炎でないとしたらあの約束通りは入れ墨するし更に表面増強効果だ
事実3: もしあの世界経済は区切れないとすれば「その位置覚は運び屋であるし加えて麗し」ということは成り立たない
事実4: もしなんらかの物は区切れれば「「あの世界経済は運び屋でないけれど姓氏である」ということは成り立たない」ということは成り立つ
事実5: もしも何かは入れ墨するとしたら「姓氏だということはないけど区切れる」ということは確かでない
事実6: 仮に「何かは姓氏でないけど区切れる」ということは偽であるならそれは区切れない
事実7: もしも「なんらかのものは運び屋であるし加えて麗し」ということは偽ならば麗しない
事実8: 「なんらかの物は区切れる」ということは事実だ
事実9: もし仮にあの世界経済が姓氏でないとするとその位置覚は麗し
事実10: あの約束通りが入れ墨するとすればあの世界経済は入れ墨する

仮説: その位置覚は麗しない
1. 事実8と事実4から、推論1: "「あの世界経済は運び屋だということはないけど姓氏だ」ということは間違いである"が導かれる
2. 推論1と事実1から、仮説が否定される

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