「「あの管理状況は楽しいということはない物であってしかもナポレオン民法典である」ということは誤りだとしたら「あの管理状況は奥まらない」ということは正しい」ということは嘘だ
fact1: 「「何らかの物は楽しくないがしかしナポレオン民法典だ」ということは正しい」ということは成り立たないとしたら奥まらない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 「「何らかの物は楽しくないがしかしナポレオン民法典だ」ということは正しい」ということは成り立たないとしたら奥まらない ; $hypothesis$ = 「「あの管理状況は楽しいということはない物であってしかもナポレオン民法典である」ということは誤りだとしたら「あの管理状況は奥まらない」ということは正しい」ということは嘘だ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 「「何らかの物は楽しくないがしかしナポレオン民法典だ」ということは正しい」ということは成り立たないとしたら奥まらない

仮説: 「「あの管理状況は楽しいということはない物であってしかもナポレオン民法典である」ということは誤りだとしたら「あの管理状況は奥まらない」ということは正しい」ということは嘘だ
1. 事実1から、仮説が否定される

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