... is not included in the same group as N."
... first, I drew it out as F ----> /N, which ... that he drew it out as a bi-conditional F / ... not included in the same group as N" spoke to me ... rule, but could also speak as a bi-conditional [(either) or ...