その通信使は御参りしない
fact1: その通信使は鈍いが穴埋めしない fact2: 「その通信使は吝い」ということは確かだ fact3: 脂肪蓄積が鈍いならそれは御参りしない fact4: その通信使は吝くて脂肪蓄積である
fact4 -> int1: その通信使は脂肪蓄積である; fact1 -> int2: その通信使は鈍い; int1 & int2 -> int3: その通信使は脂肪蓄積であるし鈍い; fact3 -> int4: もしもその通信使は脂肪蓄積で鈍いとすると御参りしない; int3 & int4 -> hypothesis;
fact4 -> int1: {B}{a}; fact1 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); fact3 -> int4: ({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: その通信使は鈍いが穴埋めしない fact2: 「その通信使は吝い」ということは確かだ fact3: 脂肪蓄積が鈍いならそれは御参りしない fact4: その通信使は吝くて脂肪蓄積である ; $hypothesis$ = その通信使は御参りしない ; $proof$ = 
fact4 -> int1: その通信使は脂肪蓄積である; fact1 -> int2: その通信使は鈍い; int1 & int2 -> int3: その通信使は脂肪蓄積であるし鈍い; fact3 -> int4: もしもその通信使は脂肪蓄積で鈍いとすると御参りしない; int3 & int4 -> hypothesis; __PROVED__
事実1: その通信使は鈍いが穴埋めしない
事実2: 「その通信使は吝い」ということは確かだ
事実3: 脂肪蓄積が鈍いならそれは御参りしない
事実4: その通信使は吝くて脂肪蓄積である

仮説: その通信使は御参りしない
1. 事実4から、推論1: "その通信使は脂肪蓄積である"が導かれる
2. 事実1から、推論2: "その通信使は鈍い"が導かれる
3. 推論1と推論2から、推論3: "その通信使は脂肪蓄積であるし鈍い"が導かれる
4. 事実3から、推論4: "もしもその通信使は脂肪蓄積で鈍いとすると御参りしない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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