She's too smart not to know that.

Literal

She [topic-は] extremely smart [because-から] that [object-を] not-know [can't be-はずはない].

~はずはない ('there's no way X') paired with ~から ('because she's smart') — the logic is airtight: she must know because she's intelligent.