そのポンパドゥール夫人はモン・ウエストウッドである
fact1: そのポンパドゥール夫人は痴漢である fact2: もしそのポンパドゥール夫人が梱包しないとすると痴漢であるしそれにモン・ウエストウッドだ fact3: そのポンパドゥール夫人は犯し難い fact4: そのポンパドゥール夫人は投入する fact5: もし仮にそのポンパドゥール夫人は赤らめるし投入するとしたら梱包しない fact6: 仮に「「あの御若は痴漢だけれど梱包するということはない」ということは正しい」ということは誤りであるならば投入しない fact7: 仮に「なにがしかのものは犯し難くない」ということは本当だとすると「それはモン・ウエストウッドでそれに赤らめる」ということは嘘だ fact8: もしもそのポンパドゥール夫人が犯し難いならばそれは赤らめる fact9: もし仮にそのポンパドゥール夫人が梱包しないならそれは痴漢である
fact8 & fact3 -> int1: そのポンパドゥール夫人は赤らめる; int1 & fact4 -> int2: そのポンパドゥール夫人は赤らめるし投入する; int2 & fact5 -> int3: 「そのポンパドゥール夫人は梱包しない」ということは事実である; int3 & fact2 -> int4: そのポンパドゥール夫人は痴漢で更にそれはモン・ウエストウッドである; int4 -> hypothesis;
あの御若は赤らめる
$facts$ = fact1: そのポンパドゥール夫人は痴漢である fact2: もしそのポンパドゥール夫人が梱包しないとすると痴漢であるしそれにモン・ウエストウッドだ fact3: そのポンパドゥール夫人は犯し難い fact4: そのポンパドゥール夫人は投入する fact5: もし仮にそのポンパドゥール夫人は赤らめるし投入するとしたら梱包しない fact6: 仮に「「あの御若は痴漢だけれど梱包するということはない」ということは正しい」ということは誤りであるならば投入しない fact7: 仮に「なにがしかのものは犯し難くない」ということは本当だとすると「それはモン・ウエストウッドでそれに赤らめる」ということは嘘だ fact8: もしもそのポンパドゥール夫人が犯し難いならばそれは赤らめる fact9: もし仮にそのポンパドゥール夫人が梱包しないならそれは痴漢である ; $hypothesis$ = そのポンパドゥール夫人はモン・ウエストウッドである ; $proof$ = 
fact8 & fact3 -> int1: そのポンパドゥール夫人は赤らめる; int1 & fact4 -> int2: そのポンパドゥール夫人は赤らめるし投入する; int2 & fact5 -> int3: 「そのポンパドゥール夫人は梱包しない」ということは事実である; int3 & fact2 -> int4: そのポンパドゥール夫人は痴漢で更にそれはモン・ウエストウッドである; int4 -> hypothesis; __PROVED__
事実1: そのポンパドゥール夫人は痴漢である
事実2: もしそのポンパドゥール夫人が梱包しないとすると痴漢であるしそれにモン・ウエストウッドだ
事実3: そのポンパドゥール夫人は犯し難い
事実4: そのポンパドゥール夫人は投入する
事実5: もし仮にそのポンパドゥール夫人は赤らめるし投入するとしたら梱包しない
事実6: 仮に「「あの御若は痴漢だけれど梱包するということはない」ということは正しい」ということは誤りであるならば投入しない
事実7: 仮に「なにがしかのものは犯し難くない」ということは本当だとすると「それはモン・ウエストウッドでそれに赤らめる」ということは嘘だ
事実8: もしもそのポンパドゥール夫人が犯し難いならばそれは赤らめる
事実9: もし仮にそのポンパドゥール夫人が梱包しないならそれは痴漢である

仮説: そのポンパドゥール夫人はモン・ウエストウッドである
1. 事実8と事実3から、推論1: "そのポンパドゥール夫人は赤らめる"が導かれる
2. 推論1と事実4から、推論2: "そのポンパドゥール夫人は赤らめるし投入する"が導かれる
3. 推論2と事実5から、推論3: "「そのポンパドゥール夫人は梱包しない」ということは事実である"が導かれる
4. 推論3と事実2から、推論4: "そのポンパドゥール夫人は痴漢で更にそれはモン・ウエストウッドである"が導かれる
5. 推論4から、仮説が導かれる

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