With the premise 'But fortunately they didn't.', is 'I know they were going to, and I knew they already did it. ' a logical derivative?
But fortunately they didn't.###I know they were going to, and I knew they already did it. 