「この観測データは見せ掛ける」ということは本当である
fact1: この観測データが羽賀寺だとしたら立て難い fact2: もしとある物が立て難いかまたは下敷きなら見せ掛けない fact3: もし仮にその配当金等が国内体制であるということはないし更に小難しくないとしたらその厄年は下敷きでない fact4: 「この観測データは羽賀寺である」ということは誤りであるということはない
fact1 & fact4 -> int1: この観測データは立て難い; int1 -> int2: この観測データは立て難いかもしくは下敷きであるかもしくはどちらもだ; fact2 -> int3: もしこの観測データが立て難いかあるいはそれは下敷きであるかあるいはどちらもであるとすればそれは見せ掛けない; int2 & int3 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); fact2 -> int3: ({B}{a} v {C}{a}) -> ¬{D}{a}; int2 & int3 -> hypothesis;
この観測データは見せ掛ける
$facts$ = fact1: この観測データが羽賀寺だとしたら立て難い fact2: もしとある物が立て難いかまたは下敷きなら見せ掛けない fact3: もし仮にその配当金等が国内体制であるということはないし更に小難しくないとしたらその厄年は下敷きでない fact4: 「この観測データは羽賀寺である」ということは誤りであるということはない ; $hypothesis$ = 「この観測データは見せ掛ける」ということは本当である ; $proof$ = 
fact1 & fact4 -> int1: この観測データは立て難い; int1 -> int2: この観測データは立て難いかもしくは下敷きであるかもしくはどちらもだ; fact2 -> int3: もしこの観測データが立て難いかあるいはそれは下敷きであるかあるいはどちらもであるとすればそれは見せ掛けない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: この観測データが羽賀寺だとしたら立て難い
事実2: もしとある物が立て難いかまたは下敷きなら見せ掛けない
事実3: もし仮にその配当金等が国内体制であるということはないし更に小難しくないとしたらその厄年は下敷きでない
事実4: 「この観測データは羽賀寺である」ということは誤りであるということはない

仮説: 「この観測データは見せ掛ける」ということは本当である
1. 事実1と事実4から、推論1: "この観測データは立て難い"が導かれる
2. 推論1から、推論2: "この観測データは立て難いかもしくは下敷きであるかもしくはどちらもだ"が導かれる
3. 事実2から、推論3: "もしこの観測データが立て難いかあるいはそれは下敷きであるかあるいはどちらもであるとすればそれは見せ掛けない"が導かれる
4. 推論2と推論3から、仮説が否定される

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