あの符号化は早しない
fact1: 婦人科医はある fact2: もしとある物が婦人科医であるとすればあの符号化は早し
$facts$ = fact1: 婦人科医はある fact2: もしとある物が婦人科医であるとすればあの符号化は早し ; $hypothesis$ = あの符号化は早しない ; $proof$ = 
事実1: 婦人科医はある
事実2: もしとある物が婦人科医であるとすればあの符号化は早し

仮説: あの符号化は早しない