Justification

If there are no *a*s, there are no *a*s which are *b*s. for N, term conjunction and ' TNC N*aa*' (Term Non-Contradiction)
