已知函数 $y=f(x)$ 的定义域为 $\mathbb{R}$,当 $x<0$ 时,$f(x)>1$,且对任意的实数 $x , y \in \mathbb{R}$,等式 $f(x) f(y)=f(x+y)$ 成立,若数列 $\left\{a_n\right\}$ 满足 $f\left(a_{n+1}\right) f\left(\dfrac{1}{1+a_n}\right)=1$($n \in \mathbb{N}^{\ast}$),且 $a_1=f(0)$,则下列结论成立的是( )
A.$f\left(a_{2013}\right)>f\left(a_{2016}\right)$
B.$f\left(a_{2014}\right)>f\left(a_{2017}\right)$
C.$f\left(a_{2016}\right)<f\left(a_{2015}\right)$
D.$f\left(a_{2013}\right)>f\left(a_{2015}\right)$