このパロディーはレジストリサービスでない
fact1: このパロディーは否定し難い fact2: もしもこのパロディーが否定し難いとしたらレジストリサービスだ
$facts$ = fact1: このパロディーは否定し難い fact2: もしもこのパロディーが否定し難いとしたらレジストリサービスだ ; $hypothesis$ = このパロディーはレジストリサービスでない ; $proof$ = 
事実1: このパロディーは否定し難い
事実2: もしもこのパロディーが否定し難いとしたらレジストリサービスだ

仮説: このパロディーはレジストリサービスでない