あの動揺・影響は飛び出る
fact1: もしもこの部分発作が唐代でないならあの動揺・影響は飛び出ない fact2: この部分発作は唐代であるしおまけに五箇月後だ fact3: 仮になにがしかの物は五箇月後であるけれど唐代でないとしたら飛び出る fact4: この部分発作は五箇月後であるなら「あの動揺・影響は飛び出る」ということは真実だ fact5: この部分発作は唐代である
fact2 -> int1: この部分発作は五箇月後である; int1 & fact4 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
この部分発作は飛び出る
fact6 -> int2: もしこの部分発作が五箇月後だがしかし唐代でないならば飛び出る;
$facts$ = fact1: もしもこの部分発作が唐代でないならあの動揺・影響は飛び出ない fact2: この部分発作は唐代であるしおまけに五箇月後だ fact3: 仮になにがしかの物は五箇月後であるけれど唐代でないとしたら飛び出る fact4: この部分発作は五箇月後であるなら「あの動揺・影響は飛び出る」ということは真実だ fact5: この部分発作は唐代である ; $hypothesis$ = あの動揺・影響は飛び出る ; $proof$ = 
fact2 -> int1: この部分発作は五箇月後である; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしもこの部分発作が唐代でないならあの動揺・影響は飛び出ない
事実2: この部分発作は唐代であるしおまけに五箇月後だ
事実3: 仮になにがしかの物は五箇月後であるけれど唐代でないとしたら飛び出る
事実4: この部分発作は五箇月後であるなら「あの動揺・影響は飛び出る」ということは真実だ
事実5: この部分発作は唐代である

仮説: あの動揺・影響は飛び出る
1. 事実2から、推論1: "この部分発作は五箇月後である"が導かれる
2. 推論1と事実4から、仮説が導かれる

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