That seems like a tautology. If I'm not on Hacker News, then of course the server must be down. Why else would I not be on HN?
=> (Stratoscope is on Hackernews) is false.
=> (Stratoscope and Hackernews) is false.
=> Stratoscope is true.
______________________________________________________
Hackernews is false.
=> (Stratoscope is on Hackernews) is false.
=> (Stratoscope and Hackernews) is false.
=> Stratoscope is true.
______________________________________________________
Hackernews is false.