その碧眼は冷め難くない
fact1: その籠手は悪しい fact2: もしもこの事業拡大が悪しくないとすれば隠し子で加えてそれは堅苦しい fact3: もしも「ある物は開け窯しない一方で悪しい」ということは成り立たないとしたら悪しいということはない fact4: 悪しい物は冷め難い fact5: その碧眼は堅苦しいししかもそれは悪しい fact6: 堅苦しくないものは冷め難いということはない fact7: その碧眼は堅苦しい
fact5 -> int1: その碧眼は悪しい; fact4 -> int2: その碧眼が悪しいとすればそれは冷め難い; int1 & int2 -> hypothesis;
その碧眼は冷め難くない
fact8 -> int3: 仮に「その碧眼は堅苦しくない」ということは成り立てばそれは冷め難くない;
$facts$ = fact1: その籠手は悪しい fact2: もしもこの事業拡大が悪しくないとすれば隠し子で加えてそれは堅苦しい fact3: もしも「ある物は開け窯しない一方で悪しい」ということは成り立たないとしたら悪しいということはない fact4: 悪しい物は冷め難い fact5: その碧眼は堅苦しいししかもそれは悪しい fact6: 堅苦しくないものは冷め難いということはない fact7: その碧眼は堅苦しい ; $hypothesis$ = その碧眼は冷め難くない ; $proof$ = 
fact5 -> int1: その碧眼は悪しい; fact4 -> int2: その碧眼が悪しいとすればそれは冷め難い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その籠手は悪しい
事実2: もしもこの事業拡大が悪しくないとすれば隠し子で加えてそれは堅苦しい
事実3: もしも「ある物は開け窯しない一方で悪しい」ということは成り立たないとしたら悪しいということはない
事実4: 悪しい物は冷め難い
事実5: その碧眼は堅苦しいししかもそれは悪しい
事実6: 堅苦しくないものは冷め難いということはない
事実7: その碧眼は堅苦しい

仮説: その碧眼は冷め難くない
1. 事実5から、推論1: "その碧眼は悪しい"が導かれる
2. 事実4から、推論2: "その碧眼が悪しいとすればそれは冷め難い"が導かれる
3. 推論1と推論2から、仮説が否定される

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