この割り切りは古さでなくてその上すっごーいない
fact1: もし仮にその重ね塗りは取り憑くないし金融監督・管理でないとすれば難儀でない fact2: もしその重ね塗りがトラブるないならこの割り切りは古さでないしそれにすっごーくない fact3: もしもなにかはトラブるないなら「古さでないし更にすっごーくない」ということは間違いだ fact4: その重ね塗りは取り憑くないしおまけに金融監督・管理でない fact5: その重ね塗りが難儀だということはないとすればこの割り切りはトラブるということはない
fact1 & fact4 -> int1: その重ね塗りは難儀だということはない; int1 & fact5 -> int2: この割り切りはトラブるということはない; fact3 -> int3: もしもこの割り切りはトラブるないならば「それは古さでなくてすっごーくない」ということは成り立つということはない; int2 & int3 -> hypothesis;
fact1 & fact4 -> int1: ¬{B}{a}; int1 & fact5 -> int2: ¬{A}{b}; fact3 -> int3: ¬{A}{b} -> ¬(¬{C}{b} & ¬{D}{b}); int2 & int3 -> hypothesis;
この割り切りは古さでないししかもすっごーくない
$facts$ = fact1: もし仮にその重ね塗りは取り憑くないし金融監督・管理でないとすれば難儀でない fact2: もしその重ね塗りがトラブるないならこの割り切りは古さでないしそれにすっごーくない fact3: もしもなにかはトラブるないなら「古さでないし更にすっごーくない」ということは間違いだ fact4: その重ね塗りは取り憑くないしおまけに金融監督・管理でない fact5: その重ね塗りが難儀だということはないとすればこの割り切りはトラブるということはない ; $hypothesis$ = この割り切りは古さでなくてその上すっごーいない ; $proof$ = 
fact1 & fact4 -> int1: その重ね塗りは難儀だということはない; int1 & fact5 -> int2: この割り切りはトラブるということはない; fact3 -> int3: もしもこの割り切りはトラブるないならば「それは古さでなくてすっごーくない」ということは成り立つということはない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にその重ね塗りは取り憑くないし金融監督・管理でないとすれば難儀でない
事実2: もしその重ね塗りがトラブるないならこの割り切りは古さでないしそれにすっごーくない
事実3: もしもなにかはトラブるないなら「古さでないし更にすっごーくない」ということは間違いだ
事実4: その重ね塗りは取り憑くないしおまけに金融監督・管理でない
事実5: その重ね塗りが難儀だということはないとすればこの割り切りはトラブるということはない

仮説: この割り切りは古さでなくてその上すっごーいない
1. 事実1と事実4から、推論1: "その重ね塗りは難儀だということはない"が導かれる
2. 推論1と事実5から、推論2: "この割り切りはトラブるということはない"が導かれる
3. 事実3から、推論3: "もしもこの割り切りはトラブるないならば「それは古さでなくてすっごーくない」ということは成り立つということはない"が導かれる
4. 推論2と推論3から、仮説が否定される

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