あの濁点は外形理論だ
fact1: 「書き難くない」物はある fact2: 仮に「「日銀引き受けであるかまたは麗々しくないかもしくは両方だ」ということは真実である」ものがあるとするとあの濁点は外形理論だ fact3: 仮に「書き難くない」ものがあるとしたらこの年金保険料は日銀引き受けであるか麗々しくないかあるいは両方である fact4: もしなにかは書き難いとすればそれは日曜であるかあるいは心房でないかどちらもである
fact1 & fact3 -> int1: この年金保険料は日銀引き受けであるかそれは麗々しくない; int1 -> int2: あるものは日銀引き受けであるかもしくは麗々しくない; int2 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ({B}{a} v ¬{C}{a}); int1 -> int2: (Ex): ({B}x v ¬{C}x); int2 & fact2 -> hypothesis;
「ある物は日曜であるかまたは心房でないかもしくはどちらもである」ということは成り立つ
fact5 -> int3: もし「この年金保険料は書き難い」ということは成り立つとすると日曜であるかもしくは心房でないかどちらもだ;
$facts$ = fact1: 「書き難くない」物はある fact2: 仮に「「日銀引き受けであるかまたは麗々しくないかもしくは両方だ」ということは真実である」ものがあるとするとあの濁点は外形理論だ fact3: 仮に「書き難くない」ものがあるとしたらこの年金保険料は日銀引き受けであるか麗々しくないかあるいは両方である fact4: もしなにかは書き難いとすればそれは日曜であるかあるいは心房でないかどちらもである ; $hypothesis$ = あの濁点は外形理論だ ; $proof$ = 
fact1 & fact3 -> int1: この年金保険料は日銀引き受けであるかそれは麗々しくない; int1 -> int2: あるものは日銀引き受けであるかもしくは麗々しくない; int2 & fact2 -> hypothesis; __PROVED__
事実1: 「書き難くない」物はある
事実2: 仮に「「日銀引き受けであるかまたは麗々しくないかもしくは両方だ」ということは真実である」ものがあるとするとあの濁点は外形理論だ
事実3: 仮に「書き難くない」ものがあるとしたらこの年金保険料は日銀引き受けであるか麗々しくないかあるいは両方である
事実4: もしなにかは書き難いとすればそれは日曜であるかあるいは心房でないかどちらもである

仮説: あの濁点は外形理論だ
1. 事実1と事実3から、推論1: "この年金保険料は日銀引き受けであるかそれは麗々しくない"が導かれる
2. 推論1から、推論2: "あるものは日銀引き受けであるかもしくは麗々しくない"が導かれる
3. 推論2と事実2から、仮説が導かれる

よって、仮説が証明されました。