その血液製剤は崩し易い
fact1: その血液製剤は吹奏でない fact2: もしあの総大将は売り掛け金でないし感付かないならば「その血液製剤は崩し易い」ということは成り立つ fact3: 何らかの物が吹奏だとすると売り掛け金でない fact4: 仮にこの名前入りが創造するとしたらあの総大将は吹奏である fact5: この名前入りは創造する fact6: 吹奏は売り掛け金でないしかつ感付かない
fact4 & fact5 -> int1: あの総大将は吹奏だ; fact6 -> int2: もし仮にあの総大将が吹奏だとしたらそれは売り掛け金でないしそれは感付かない; int1 & int2 -> int3: あの総大将は売り掛け金でないし更に感付かない; int3 & fact2 -> hypothesis;
fact4 & fact5 -> int1: {B}{b}; fact6 -> int2: {B}{b} -> (¬{C}{b} & ¬{D}{b}); int1 & int2 -> int3: (¬{C}{b} & ¬{D}{b}); int3 & fact2 -> hypothesis;
$facts$ = fact1: その血液製剤は吹奏でない fact2: もしあの総大将は売り掛け金でないし感付かないならば「その血液製剤は崩し易い」ということは成り立つ fact3: 何らかの物が吹奏だとすると売り掛け金でない fact4: 仮にこの名前入りが創造するとしたらあの総大将は吹奏である fact5: この名前入りは創造する fact6: 吹奏は売り掛け金でないしかつ感付かない ; $hypothesis$ = その血液製剤は崩し易い ; $proof$ = 
fact4 & fact5 -> int1: あの総大将は吹奏だ; fact6 -> int2: もし仮にあの総大将が吹奏だとしたらそれは売り掛け金でないしそれは感付かない; int1 & int2 -> int3: あの総大将は売り掛け金でないし更に感付かない; int3 & fact2 -> hypothesis; __PROVED__
事実1: その血液製剤は吹奏でない
事実2: もしあの総大将は売り掛け金でないし感付かないならば「その血液製剤は崩し易い」ということは成り立つ
事実3: 何らかの物が吹奏だとすると売り掛け金でない
事実4: 仮にこの名前入りが創造するとしたらあの総大将は吹奏である
事実5: この名前入りは創造する
事実6: 吹奏は売り掛け金でないしかつ感付かない

仮説: その血液製剤は崩し易い
1. 事実4と事実5から、推論1: "あの総大将は吹奏だ"が導かれる
2. 事実6から、推論2: "もし仮にあの総大将が吹奏だとしたらそれは売り掛け金でないしそれは感付かない"が導かれる
3. 推論1と推論2から、推論3: "あの総大将は売り掛け金でないし更に感付かない"が導かれる
4. 推論3と事実2から、仮説が導かれる

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