First let me test the rule:
$${\mathtt{\,-\,}}{\mathtt{0.25}}{\mathtt{\,\times\,}}\left(-{\mathtt{4}}\right){\mathtt{\,\small\textbf+\,}}{\mathtt{5}} = {\mathtt{6}}$$
$${\mathtt{\,-\,}}{\mathtt{0.25}}{\mathtt{\,\times\,}}\left({\mathtt{4}}\right){\mathtt{\,\small\textbf+\,}}{\mathtt{5}} = {\mathtt{4}}$$
$${\mathtt{\,-\,}}{\mathtt{0.25}}{\mathtt{\,\times\,}}\left({\mathtt{8}}\right){\mathtt{\,\small\textbf+\,}}{\mathtt{5}} = {\mathtt{3}}$$
$${\mathtt{\,-\,}}{\mathtt{0.25}}{\mathtt{\,\times\,}}\left(-{\mathtt{4}}\right){\mathtt{\,\small\textbf+\,}}{\mathtt{5}} = {\mathtt{6}}$$
It looks like Melody is accurate.