「あの診査は女唇でない」ということは成り立つ
fact1: あの診査は拍手喝采するしまた造形する fact2: その経世済民が運営管理でないとすれば暑いし加えて造形する fact3: あの診査は暑い fact4: もしあの診査が暑いならばそれは運営管理だ fact5: もしも運営管理が拍手喝采するなら女唇だということはない
fact4 & fact3 -> int1: あの診査は運営管理である; fact1 -> int2: あの診査は拍手喝采する; int1 & int2 -> int3: あの診査は運営管理で拍手喝采する; fact5 -> int4: もしもあの診査が運営管理だしまた拍手喝采するとすると女唇でない; int3 & int4 -> hypothesis;
その経世済民は造形する
$facts$ = fact1: あの診査は拍手喝采するしまた造形する fact2: その経世済民が運営管理でないとすれば暑いし加えて造形する fact3: あの診査は暑い fact4: もしあの診査が暑いならばそれは運営管理だ fact5: もしも運営管理が拍手喝采するなら女唇だということはない ; $hypothesis$ = 「あの診査は女唇でない」ということは成り立つ ; $proof$ = 
fact4 & fact3 -> int1: あの診査は運営管理である; fact1 -> int2: あの診査は拍手喝采する; int1 & int2 -> int3: あの診査は運営管理で拍手喝采する; fact5 -> int4: もしもあの診査が運営管理だしまた拍手喝采するとすると女唇でない; int3 & int4 -> hypothesis; __PROVED__
事実1: あの診査は拍手喝采するしまた造形する
事実2: その経世済民が運営管理でないとすれば暑いし加えて造形する
事実3: あの診査は暑い
事実4: もしあの診査が暑いならばそれは運営管理だ
事実5: もしも運営管理が拍手喝采するなら女唇だということはない

仮説: 「あの診査は女唇でない」ということは成り立つ
1. 事実4と事実3から、推論1: "あの診査は運営管理である"が導かれる
2. 事実1から、推論2: "あの診査は拍手喝采する"が導かれる
3. 推論1と推論2から、推論3: "あの診査は運営管理で拍手喝采する"が導かれる
4. 事実5から、推論4: "もしもあの診査が運営管理だしまた拍手喝采するとすると女唇でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。