あの冷菓は不良債権化しない
fact1: もし何かは美しいとすれば「それはティートリーであるということはないし引き摺り出さない」ということは成り立たない fact2: 仮にこの銘柄Ｂは美しくないとしたら「その陥穽はティートリーでないしおまけに汚らわしくない」ということは成り立たない fact3: その陥穽はティートリーだ fact4: 「その陥穽はやんごとなくないがしかしそれは引き摺り出す」ということは成り立たない fact5: 仮に「この銘柄Ｂは引き摺り出さないしそれに美しくない」ということは確かでないならば「あの冷菓は不良債権化する」ということは確かだ fact6: なにがしかの物は汚らわしくないとしたら「引き摺り出さないしまたそれは美しい」ということは間違いである fact7: 「この銘柄Ｂは不良債権化しないしその上美しいということはない」ということは事実と異なる fact8: ティートリーは汚らわしい fact9: 仮に「その陥穽はティートリーだ」ということは成り立つならこの銘柄Ｂは汚らわしくない fact10: 仮にこの銘柄Ｂは汚らわしくないとしたら「引き摺り出すということはないがしかし美しい」ということは嘘である fact11: 仮に何らかのものは汚らわしくないとすると「それは引き摺り出さないしその上それは美しくない」ということは本当であるということはない
fact9 & fact3 -> int1: この銘柄Ｂは汚らわしいということはない; fact11 -> int2: もし仮にこの銘柄Ｂは汚らわしくないならば「引き摺り出さないしおまけに美しくない」ということは嘘である; int1 & int2 -> int3: 「「この銘柄Ｂは引き摺り出さないしそれは美しくない」ということは確かだ」ということは事実と異なる; int3 & fact5 -> hypothesis;
あの冷菓は不良債権化しない
$facts$ = fact1: もし何かは美しいとすれば「それはティートリーであるということはないし引き摺り出さない」ということは成り立たない fact2: 仮にこの銘柄Ｂは美しくないとしたら「その陥穽はティートリーでないしおまけに汚らわしくない」ということは成り立たない fact3: その陥穽はティートリーだ fact4: 「その陥穽はやんごとなくないがしかしそれは引き摺り出す」ということは成り立たない fact5: 仮に「この銘柄Ｂは引き摺り出さないしそれに美しくない」ということは確かでないならば「あの冷菓は不良債権化する」ということは確かだ fact6: なにがしかの物は汚らわしくないとしたら「引き摺り出さないしまたそれは美しい」ということは間違いである fact7: 「この銘柄Ｂは不良債権化しないしその上美しいということはない」ということは事実と異なる fact8: ティートリーは汚らわしい fact9: 仮に「その陥穽はティートリーだ」ということは成り立つならこの銘柄Ｂは汚らわしくない fact10: 仮にこの銘柄Ｂは汚らわしくないとしたら「引き摺り出すということはないがしかし美しい」ということは嘘である fact11: 仮に何らかのものは汚らわしくないとすると「それは引き摺り出さないしその上それは美しくない」ということは本当であるということはない ; $hypothesis$ = あの冷菓は不良債権化しない ; $proof$ = 
fact9 & fact3 -> int1: この銘柄Ｂは汚らわしいということはない; fact11 -> int2: もし仮にこの銘柄Ｂは汚らわしくないならば「引き摺り出さないしおまけに美しくない」ということは嘘である; int1 & int2 -> int3: 「「この銘柄Ｂは引き摺り出さないしそれは美しくない」ということは確かだ」ということは事実と異なる; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: もし何かは美しいとすれば「それはティートリーであるということはないし引き摺り出さない」ということは成り立たない
事実2: 仮にこの銘柄Ｂは美しくないとしたら「その陥穽はティートリーでないしおまけに汚らわしくない」ということは成り立たない
事実3: その陥穽はティートリーだ
事実4: 「その陥穽はやんごとなくないがしかしそれは引き摺り出す」ということは成り立たない
事実5: 仮に「この銘柄Ｂは引き摺り出さないしそれに美しくない」ということは確かでないならば「あの冷菓は不良債権化する」ということは確かだ
事実6: なにがしかの物は汚らわしくないとしたら「引き摺り出さないしまたそれは美しい」ということは間違いである
事実7: 「この銘柄Ｂは不良債権化しないしその上美しいということはない」ということは事実と異なる
事実8: ティートリーは汚らわしい
事実9: 仮に「その陥穽はティートリーだ」ということは成り立つならこの銘柄Ｂは汚らわしくない
事実10: 仮にこの銘柄Ｂは汚らわしくないとしたら「引き摺り出すということはないがしかし美しい」ということは嘘である
事実11: 仮に何らかのものは汚らわしくないとすると「それは引き摺り出さないしその上それは美しくない」ということは本当であるということはない

仮説: あの冷菓は不良債権化しない
1. 事実9と事実3から、推論1: "この銘柄Ｂは汚らわしいということはない"が導かれる
2. 事実11から、推論2: "もし仮にこの銘柄Ｂは汚らわしくないならば「引き摺り出さないしおまけに美しくない」ということは嘘である"が導かれる
3. 推論1と推論2から、推論3: "「「この銘柄Ｂは引き摺り出さないしそれは美しくない」ということは確かだ」ということは事実と異なる"が導かれる
4. 推論3と事実5から、仮説が否定される

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