あの贋作は移動ハンドルだ
fact1: 「チャーチな」物はある fact2: 仮にとある物がチャーチだとするとあの贋作は移動ハンドルである
$facts$ = fact1: 「チャーチな」物はある fact2: 仮にとある物がチャーチだとするとあの贋作は移動ハンドルである ; $hypothesis$ = あの贋作は移動ハンドルだ ; $proof$ = 
事実1: 「チャーチな」物はある
事実2: 仮にとある物がチャーチだとするとあの贋作は移動ハンドルである

仮説: あの贋作は移動ハンドルだ