あの制限酵素は埋め込めるしかつ鬱陶しい
fact1: あの制限酵素は埋め込める fact2: あの木灰は埋め込める fact3: あの制限酵素は鬱陶しい
$facts$ = fact1: あの制限酵素は埋め込める fact2: あの木灰は埋め込める fact3: あの制限酵素は鬱陶しい ; $hypothesis$ = あの制限酵素は埋め込めるしかつ鬱陶しい ; $proof$ = 
事実1: あの制限酵素は埋め込める
事実2: あの木灰は埋め込める
事実3: あの制限酵素は鬱陶しい

仮説: あの制限酵素は埋め込めるしかつ鬱陶しい