We have examples of these in the giant outer planets.
There has never been case of the phenomenon happening;
mnli hypothesis: There has never been case of the phenomenon happening; premise: We have examples of these in the giant outer planets.