その期間中は唸り続ける
fact1: あのパサージュは即応出来るししかも返りらしい fact2: 仮になにかは高齢化するとするとそれは唸り続ける fact3: もしもあのパサージュが返りらしいならばその期間中は高齢化する fact4: あのパサージュは即応出来る
fact1 -> int1: あのパサージュは返りらしい; int1 & fact3 -> int2: その期間中は高齢化する; fact2 -> int3: 仮にその期間中が高齢化すれば唸り続ける; int2 & int3 -> hypothesis;
$facts$ = fact1: あのパサージュは即応出来るししかも返りらしい fact2: 仮になにかは高齢化するとするとそれは唸り続ける fact3: もしもあのパサージュが返りらしいならばその期間中は高齢化する fact4: あのパサージュは即応出来る ; $hypothesis$ = その期間中は唸り続ける ; $proof$ = 
fact1 -> int1: あのパサージュは返りらしい; int1 & fact3 -> int2: その期間中は高齢化する; fact2 -> int3: 仮にその期間中が高齢化すれば唸り続ける; int2 & int3 -> hypothesis; __PROVED__
事実1: あのパサージュは即応出来るししかも返りらしい
事実2: 仮になにかは高齢化するとするとそれは唸り続ける
事実3: もしもあのパサージュが返りらしいならばその期間中は高齢化する
事実4: あのパサージュは即応出来る

仮説: その期間中は唸り続ける
1. 事実1から、推論1: "あのパサージュは返りらしい"が導かれる
2. 推論1と事実3から、推論2: "その期間中は高齢化する"が導かれる
3. 事実2から、推論3: "仮にその期間中が高齢化すれば唸り続ける"が導かれる
4. 推論2と推論3から、仮説が導かれる

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