I know global warming is bad

but wouldn't it be kinda funny if dinosaurs made humans go extinct?