この深鍋は烏堂であるしおまけにブロワ伯である
fact1: この深鍋は恐ろしい fact2: この一部加筆は寄稿するしさらにそれは旧知である fact3: もしもこの深鍋が思い返すとしたら二十五Ｄである fact4: この深鍋は旧知であるかまたは二十五Ｄでない fact5: 仮にこの深鍋が恐ろしいならば烏堂だ fact6: この深鍋は旧知であるかあるいは二十五Ｄでないかあるいは両方だとしたらそれはブロワ伯である
fact5 & fact1 -> int1: この深鍋は烏堂である; fact6 & fact4 -> int2: この深鍋はブロワ伯だ; int1 & int2 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; fact6 & fact4 -> int2: {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: この深鍋は恐ろしい fact2: この一部加筆は寄稿するしさらにそれは旧知である fact3: もしもこの深鍋が思い返すとしたら二十五Ｄである fact4: この深鍋は旧知であるかまたは二十五Ｄでない fact5: 仮にこの深鍋が恐ろしいならば烏堂だ fact6: この深鍋は旧知であるかあるいは二十五Ｄでないかあるいは両方だとしたらそれはブロワ伯である ; $hypothesis$ = この深鍋は烏堂であるしおまけにブロワ伯である ; $proof$ = 
fact5 & fact1 -> int1: この深鍋は烏堂である; fact6 & fact4 -> int2: この深鍋はブロワ伯だ; int1 & int2 -> hypothesis; __PROVED__
事実1: この深鍋は恐ろしい
事実2: この一部加筆は寄稿するしさらにそれは旧知である
事実3: もしもこの深鍋が思い返すとしたら二十五Ｄである
事実4: この深鍋は旧知であるかまたは二十五Ｄでない
事実5: 仮にこの深鍋が恐ろしいならば烏堂だ
事実6: この深鍋は旧知であるかあるいは二十五Ｄでないかあるいは両方だとしたらそれはブロワ伯である

仮説: この深鍋は烏堂であるしおまけにブロワ伯である
1. 事実5と事実1から、推論1: "この深鍋は烏堂である"が導かれる
2. 事実6と事実4から、推論2: "この深鍋はブロワ伯だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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