あのシステム・リスク対策は油っぽい
fact1: この上海動物園が馴染み難くないとすればあの細胞核は絶え兼ねらない fact2: もしもその細胞核は絶え兼ねるとすれば「それは油っぽいけれど洗面でない」ということは成り立つということはない fact3: この上海動物園が絶え兼ねらないとしたらあのシステム・リスク対策は油っぽくない fact4: もしもその細胞核は馴染み難いということはないし造形美でないならば「この上海動物園は絶え兼ねるということはない」ということは事実だ fact5: 「この上海動物園はでかくないしおまけに戯けない」ということは成り立たないとしたら痩せ難い fact6: その細胞核は馴染み難くなくてまた造形美でない
fact4 & fact6 -> int1: 「この上海動物園は絶え兼ねるということはない」ということは事実だ; int1 & fact3 -> hypothesis;
その伯母さん達は油っぽくない
$facts$ = fact1: この上海動物園が馴染み難くないとすればあの細胞核は絶え兼ねらない fact2: もしもその細胞核は絶え兼ねるとすれば「それは油っぽいけれど洗面でない」ということは成り立つということはない fact3: この上海動物園が絶え兼ねらないとしたらあのシステム・リスク対策は油っぽくない fact4: もしもその細胞核は馴染み難いということはないし造形美でないならば「この上海動物園は絶え兼ねるということはない」ということは事実だ fact5: 「この上海動物園はでかくないしおまけに戯けない」ということは成り立たないとしたら痩せ難い fact6: その細胞核は馴染み難くなくてまた造形美でない ; $hypothesis$ = あのシステム・リスク対策は油っぽい ; $proof$ = 
fact4 & fact6 -> int1: 「この上海動物園は絶え兼ねるということはない」ということは事実だ; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: この上海動物園が馴染み難くないとすればあの細胞核は絶え兼ねらない
事実2: もしもその細胞核は絶え兼ねるとすれば「それは油っぽいけれど洗面でない」ということは成り立つということはない
事実3: この上海動物園が絶え兼ねらないとしたらあのシステム・リスク対策は油っぽくない
事実4: もしもその細胞核は馴染み難いということはないし造形美でないならば「この上海動物園は絶え兼ねるということはない」ということは事実だ
事実5: 「この上海動物園はでかくないしおまけに戯けない」ということは成り立たないとしたら痩せ難い
事実6: その細胞核は馴染み難くなくてまた造形美でない

仮説: あのシステム・リスク対策は油っぽい
1. 事実4と事実6から、推論1: "「この上海動物園は絶え兼ねるということはない」ということは事実だ"が導かれる
2. 推論1と事実3から、仮説が否定される

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