「あのいずなは尋常小学読本唱歌であるか気高しかもしくは両方ともである」ということは成り立つということはない
fact1: 「「この十二月以前は真白くないけれどそれはＣＤだ」ということは本当でない」ということは本当であるとすればあのいずなは尋常小学読本唱歌である fact2: 「もし何らかの物は信金中金でないとすれば「この十二月以前は真白くないけどＣＤだ」ということは嘘である」ということは事実である fact3: もしもこの損害填補は柵囲いだということはないとすれば「それは計画値でないが月浜コーヒー店だ」ということは確かでない fact4: もしも何かは信金中金でないとすれば「尋常小学読本唱歌であるかまたは気高しかあるいはどちらもである」ということは成り立たない fact5: もしこの十二月以前がＣＤでないとしたらあのいずなは尋常小学読本唱歌である fact6: とある物は信金中金でない fact7: もし仮に「この損害填補は計画値でないけれど月浜コーヒー店だ」ということは成り立たないならこの十二月以前はＣＤでない
fact6 & fact2 -> int1: 「この十二月以前は真白くない一方でＣＤだ」ということは成り立たない; int1 & fact1 -> int2: あのいずなは尋常小学読本唱歌である; int2 -> hypothesis;
fact6 & fact2 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact1 -> int2: {D}{b}; int2 -> hypothesis;
「あのいずなは尋常小学読本唱歌であるか気高し」ということは成り立つということはない
fact9 -> int3: もし仮に「あのいずなは信金中金でない」ということは確かだとしたら「それは尋常小学読本唱歌であるかまたは気高しかあるいは両方である」ということは間違っている;
$facts$ = fact1: 「「この十二月以前は真白くないけれどそれはＣＤだ」ということは本当でない」ということは本当であるとすればあのいずなは尋常小学読本唱歌である fact2: 「もし何らかの物は信金中金でないとすれば「この十二月以前は真白くないけどＣＤだ」ということは嘘である」ということは事実である fact3: もしもこの損害填補は柵囲いだということはないとすれば「それは計画値でないが月浜コーヒー店だ」ということは確かでない fact4: もしも何かは信金中金でないとすれば「尋常小学読本唱歌であるかまたは気高しかあるいはどちらもである」ということは成り立たない fact5: もしこの十二月以前がＣＤでないとしたらあのいずなは尋常小学読本唱歌である fact6: とある物は信金中金でない fact7: もし仮に「この損害填補は計画値でないけれど月浜コーヒー店だ」ということは成り立たないならこの十二月以前はＣＤでない ; $hypothesis$ = 「あのいずなは尋常小学読本唱歌であるか気高しかもしくは両方ともである」ということは成り立つということはない ; $proof$ = 
fact6 & fact2 -> int1: 「この十二月以前は真白くない一方でＣＤだ」ということは成り立たない; int1 & fact1 -> int2: あのいずなは尋常小学読本唱歌である; int2 -> hypothesis; __DISPROVED__
事実1: 「「この十二月以前は真白くないけれどそれはＣＤだ」ということは本当でない」ということは本当であるとすればあのいずなは尋常小学読本唱歌である
事実2: 「もし何らかの物は信金中金でないとすれば「この十二月以前は真白くないけどＣＤだ」ということは嘘である」ということは事実である
事実3: もしもこの損害填補は柵囲いだということはないとすれば「それは計画値でないが月浜コーヒー店だ」ということは確かでない
事実4: もしも何かは信金中金でないとすれば「尋常小学読本唱歌であるかまたは気高しかあるいはどちらもである」ということは成り立たない
事実5: もしこの十二月以前がＣＤでないとしたらあのいずなは尋常小学読本唱歌である
事実6: とある物は信金中金でない
事実7: もし仮に「この損害填補は計画値でないけれど月浜コーヒー店だ」ということは成り立たないならこの十二月以前はＣＤでない

仮説: 「あのいずなは尋常小学読本唱歌であるか気高しかもしくは両方ともである」ということは成り立つということはない
1. 事実6と事実2から、推論1: "「この十二月以前は真白くない一方でＣＤだ」ということは成り立たない"が導かれる
2. 推論1と事実1から、推論2: "あのいずなは尋常小学読本唱歌である"が導かれる
3. 推論2から、仮説が否定される

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