The following is the logic Smarts uses to determine that a Router is DOWN:
(IsUnresponsive && (HasNoPartition || !IsEveryNeighborUnresponsive))
So, if Router A is Unresponsive and Router B is responsive, Router A will be marked Down if it did not belong to a partition.