While we didn't know the dinosaurs personally, we do know that they were wiped out by an asteroid impact.
or simply: