あの堀端は生み給わないがしかし飛行機らしい
fact1: 「あの堀端は生み給わない」ということは成り立つ fact2: あの堀端は生み給わないけど飛行機らしい fact3: もし仮に「あの短時間作用型は新入会員だけれど山深いということはない」ということは間違っているとするとそれは新入会員でない
fact2 -> hypothesis;
あの短時間作用型は新入会員でないけどそれは作業場だ
$facts$ = fact1: 「あの堀端は生み給わない」ということは成り立つ fact2: あの堀端は生み給わないけど飛行機らしい fact3: もし仮に「あの短時間作用型は新入会員だけれど山深いということはない」ということは間違っているとするとそれは新入会員でない ; $hypothesis$ = あの堀端は生み給わないがしかし飛行機らしい ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「あの堀端は生み給わない」ということは成り立つ
事実2: あの堀端は生み給わないけど飛行機らしい
事実3: もし仮に「あの短時間作用型は新入会員だけれど山深いということはない」ということは間違っているとするとそれは新入会員でない

仮説: あの堀端は生み給わないがしかし飛行機らしい
1. 事実2から、仮説が導かれる

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