そのパンターＤ型は在職中でない
fact1: もし仮にあの一世代前がジョギングするけれど元秋官長でないとするとそのパンターＤ型は在職中である fact2: あの一世代前はジョギングする一方でそれは元秋官長でない
$facts$ = fact1: もし仮にあの一世代前がジョギングするけれど元秋官長でないとするとそのパンターＤ型は在職中である fact2: あの一世代前はジョギングする一方でそれは元秋官長でない ; $hypothesis$ = そのパンターＤ型は在職中でない ; $proof$ = 
事実1: もし仮にあの一世代前がジョギングするけれど元秋官長でないとするとそのパンターＤ型は在職中である
事実2: あの一世代前はジョギングする一方でそれは元秋官長でない

仮説: そのパンターＤ型は在職中でない