その不動産会社はサーティフィケートでない
fact1: あの回転運動は年金だ fact2: もしあの回転運動が年金ならばその不動産会社はサーティフィケートである
$facts$ = fact1: あの回転運動は年金だ fact2: もしあの回転運動が年金ならばその不動産会社はサーティフィケートである ; $hypothesis$ = その不動産会社はサーティフィケートでない ; $proof$ = 
事実1: あの回転運動は年金だ
事実2: もしあの回転運動が年金ならばその不動産会社はサーティフィケートである

仮説: その不動産会社はサーティフィケートでない