「「「がめつくてかつ強化服でない」ということは嘘であるとしたら本願であるということはない」物はある」ということは正しくない
fact1: 仮にこのスワップ・レートが強化服だとするとそれは本願だということはない fact2: 「もしも「がめついがしかし強化服でない」ということは偽であるとすると本願である」ものはある fact3: 「ある物はがめついけれど強化服でない」ということは事実と異なればそれは本願でない fact4: 「「表示し為さらない」ということは事実と異ならないとすれば御祈りしない」物はある fact5: 「がめつかないとしたら本願でない」ものはある fact6: 「「がめつくてまた強化服だ」ということは誤りだとすると「本願でない」ということは成り立つ」物はある fact7: 仮に「とある物はがめつい一方で現地語でない」ということは成り立つということはないとすれば目新しいということはない fact8: 「このスワップ・レートはがめついが強化服でない」ということは誤りであるとしたらそれは本願だ fact9: もしがめつい物は強化服でないとすると本願でない
fact3 -> int1: 仮に「このスワップ・レートはがめついが強化服だということはない」ということは成り立つということはないとすると本願でない; int1 -> hypothesis;
もし仮に「あの四人前はがめついが現地語でない」ということは成り立たないなら目新しくない
fact10 -> hypothesis;
$facts$ = fact1: 仮にこのスワップ・レートが強化服だとするとそれは本願だということはない fact2: 「もしも「がめついがしかし強化服でない」ということは偽であるとすると本願である」ものはある fact3: 「ある物はがめついけれど強化服でない」ということは事実と異なればそれは本願でない fact4: 「「表示し為さらない」ということは事実と異ならないとすれば御祈りしない」物はある fact5: 「がめつかないとしたら本願でない」ものはある fact6: 「「がめつくてまた強化服だ」ということは誤りだとすると「本願でない」ということは成り立つ」物はある fact7: 仮に「とある物はがめつい一方で現地語でない」ということは成り立つということはないとすれば目新しいということはない fact8: 「このスワップ・レートはがめついが強化服でない」ということは誤りであるとしたらそれは本願だ fact9: もしがめつい物は強化服でないとすると本願でない ; $hypothesis$ = 「「「がめつくてかつ強化服でない」ということは嘘であるとしたら本願であるということはない」物はある」ということは正しくない ; $proof$ = 
fact3 -> int1: 仮に「このスワップ・レートはがめついが強化服だということはない」ということは成り立つということはないとすると本願でない; int1 -> hypothesis; __DISPROVED__
事実1: 仮にこのスワップ・レートが強化服だとするとそれは本願だということはない
事実2: 「もしも「がめついがしかし強化服でない」ということは偽であるとすると本願である」ものはある
事実3: 「ある物はがめついけれど強化服でない」ということは事実と異なればそれは本願でない
事実4: 「「表示し為さらない」ということは事実と異ならないとすれば御祈りしない」物はある
事実5: 「がめつかないとしたら本願でない」ものはある
事実6: 「「がめつくてまた強化服だ」ということは誤りだとすると「本願でない」ということは成り立つ」物はある
事実7: 仮に「とある物はがめつい一方で現地語でない」ということは成り立つということはないとすれば目新しいということはない
事実8: 「このスワップ・レートはがめついが強化服でない」ということは誤りであるとしたらそれは本願だ
事実9: もしがめつい物は強化服でないとすると本願でない

仮説: 「「「がめつくてかつ強化服でない」ということは嘘であるとしたら本願であるということはない」物はある」ということは正しくない
1. 事実3から、推論1: "仮に「このスワップ・レートはがめついが強化服だということはない」ということは成り立つということはないとすると本願でない"が導かれる
2. 推論1から、仮説が否定される

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