その結婚運はおどろおどろしいということはない
fact1: もしなにかは顕熱でないとすればそれはおどろおどろしくないけれど整理し直す fact2: もし仮にこのマジックテープが決定係数であるならその結婚運は顕熱である fact3: 「このマジックテープは御めでたいが決定係数だということはない」ということは確かでないとすればその結婚運は顕熱だ fact4: 顕熱はおどろおどろしい fact5: とある物は整理し直すということはないなら「御めでたいけれど決定係数でない」ということは誤っている fact6: このマジックテープは見付け難くないし加えて整理し直すということはない
fact5 -> int1: もしもこのマジックテープは整理し直さないとしたら「それは御めでたいしそれは決定係数でない」ということは成り立たない; fact6 -> int2: このマジックテープは整理し直さない; int1 & int2 -> int3: 「このマジックテープは御めでたいけど決定係数でない」ということは事実と異なる; int3 & fact3 -> int4: 「その結婚運は顕熱だ」ということは正しい; fact4 -> int5: 仮にその結婚運は顕熱であるとすればそれはおどろおどろしい; int4 & int5 -> hypothesis;
その結婚運はおどろおどろしくない
fact7 -> int6: もしもその結婚運が顕熱でないとすればそれはおどろおどろしくないが整理し直す;
$facts$ = fact1: もしなにかは顕熱でないとすればそれはおどろおどろしくないけれど整理し直す fact2: もし仮にこのマジックテープが決定係数であるならその結婚運は顕熱である fact3: 「このマジックテープは御めでたいが決定係数だということはない」ということは確かでないとすればその結婚運は顕熱だ fact4: 顕熱はおどろおどろしい fact5: とある物は整理し直すということはないなら「御めでたいけれど決定係数でない」ということは誤っている fact6: このマジックテープは見付け難くないし加えて整理し直すということはない ; $hypothesis$ = その結婚運はおどろおどろしいということはない ; $proof$ = 
fact5 -> int1: もしもこのマジックテープは整理し直さないとしたら「それは御めでたいしそれは決定係数でない」ということは成り立たない; fact6 -> int2: このマジックテープは整理し直さない; int1 & int2 -> int3: 「このマジックテープは御めでたいけど決定係数でない」ということは事実と異なる; int3 & fact3 -> int4: 「その結婚運は顕熱だ」ということは正しい; fact4 -> int5: 仮にその結婚運は顕熱であるとすればそれはおどろおどろしい; int4 & int5 -> hypothesis; __DISPROVED__
事実1: もしなにかは顕熱でないとすればそれはおどろおどろしくないけれど整理し直す
事実2: もし仮にこのマジックテープが決定係数であるならその結婚運は顕熱である
事実3: 「このマジックテープは御めでたいが決定係数だということはない」ということは確かでないとすればその結婚運は顕熱だ
事実4: 顕熱はおどろおどろしい
事実5: とある物は整理し直すということはないなら「御めでたいけれど決定係数でない」ということは誤っている
事実6: このマジックテープは見付け難くないし加えて整理し直すということはない

仮説: その結婚運はおどろおどろしいということはない
1. 事実5から、推論1: "もしもこのマジックテープは整理し直さないとしたら「それは御めでたいしそれは決定係数でない」ということは成り立たない"が導かれる
2. 事実6から、推論2: "このマジックテープは整理し直さない"が導かれる
3. 推論1と推論2から、推論3: "「このマジックテープは御めでたいけど決定係数でない」ということは事実と異なる"が導かれる
4. 推論3と事実3から、推論4: "「その結婚運は顕熱だ」ということは正しい"が導かれる
5. 事実4から、推論5: "仮にその結婚運は顕熱であるとすればそれはおどろおどろしい"が導かれる
6. 推論4と推論5から、仮説が否定される

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