What follows from the statement below by the classical NIF $($negated if$-$then$)$ rule?

$((A*C)sup(CvvB))$

$A$

$(NB)$

$(A*C)$

$$ C