あの遺伝形式は配給米である
fact1: あの遺伝形式は老朽する fact2: この直立不動は配給米でない fact3: あの遺伝形式は控除率でないがしかし配給米である
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: あの遺伝形式は老朽する fact2: この直立不動は配給米でない fact3: あの遺伝形式は控除率でないがしかし配給米である ; $hypothesis$ = あの遺伝形式は配給米である ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: あの遺伝形式は老朽する
事実2: この直立不動は配給米でない
事実3: あの遺伝形式は控除率でないがしかし配給米である

仮説: あの遺伝形式は配給米である
1. 事実3から、仮説が導かれる

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