「「もしも言い難いということはないとしたら「無制限納税義務者でない」ということは事実な」ものはある」ということは事実と異なる
fact1: もし仮に「あの洗礼名は無制限納税義務者だ」ということは事実だとするとそれは成り難くない fact2: 「親しみ易くないなら尽くし難くない」物はある fact3: 仮に「あの洗礼名は言い難いということはない」ということは誤りだということはないとするとそれは無制限納税義務者でない fact4: 「仮に時価評価しないなら探し歩く」物はある fact5: 「もし言い難くないならば無制限納税義務者である」ものはある fact6: あの洗礼名が言い難いとすればそれは無制限納税義務者でない fact7: あの洗礼名が言い難くないならば無制限納税義務者である fact8: もしもあの洗礼名が出来易いならば国際経済協力でない fact9: 仮に何かは無制限納税義務者でないならば「紛らわしいということはない」ということは成り立つ fact10: 「言い難いなら「無制限納税義務者でない」ということは正しい」物はある
fact3 -> hypothesis;
もしもあの洗礼名が無制限納税義務者でないとすればそれは紛らわしいということはない
fact11 -> hypothesis;
$facts$ = fact1: もし仮に「あの洗礼名は無制限納税義務者だ」ということは事実だとするとそれは成り難くない fact2: 「親しみ易くないなら尽くし難くない」物はある fact3: 仮に「あの洗礼名は言い難いということはない」ということは誤りだということはないとするとそれは無制限納税義務者でない fact4: 「仮に時価評価しないなら探し歩く」物はある fact5: 「もし言い難くないならば無制限納税義務者である」ものはある fact6: あの洗礼名が言い難いとすればそれは無制限納税義務者でない fact7: あの洗礼名が言い難くないならば無制限納税義務者である fact8: もしもあの洗礼名が出来易いならば国際経済協力でない fact9: 仮に何かは無制限納税義務者でないならば「紛らわしいということはない」ということは成り立つ fact10: 「言い難いなら「無制限納税義務者でない」ということは正しい」物はある ; $hypothesis$ = 「「もしも言い難いということはないとしたら「無制限納税義務者でない」ということは事実な」ものはある」ということは事実と異なる ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もし仮に「あの洗礼名は無制限納税義務者だ」ということは事実だとするとそれは成り難くない
事実2: 「親しみ易くないなら尽くし難くない」物はある
事実3: 仮に「あの洗礼名は言い難いということはない」ということは誤りだということはないとするとそれは無制限納税義務者でない
事実4: 「仮に時価評価しないなら探し歩く」物はある
事実5: 「もし言い難くないならば無制限納税義務者である」ものはある
事実6: あの洗礼名が言い難いとすればそれは無制限納税義務者でない
事実7: あの洗礼名が言い難くないならば無制限納税義務者である
事実8: もしもあの洗礼名が出来易いならば国際経済協力でない
事実9: 仮に何かは無制限納税義務者でないならば「紛らわしいということはない」ということは成り立つ
事実10: 「言い難いなら「無制限納税義務者でない」ということは正しい」物はある

仮説: 「「もしも言い難いということはないとしたら「無制限納税義務者でない」ということは事実な」ものはある」ということは事実と異なる
1. 事実3から、仮説が否定される

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