... one of the rules was "F is not included in the ... , I drew it out as F ----> /N, which is ... , when given a new premise (/F), it failed the sufficient and ... as a bi-conditional F /N. When given /F, then we can ... a bi-conditional? The rule "F is not included in the ...