デシジョン関数をテストするためのRL関数を示しています。ファクトがアサートされ、デシジョン関数がコールされます。