(Life on enceladus -> Life is common) does not entail (No life on enceladus -> Life is rare) by any length of proof, much less one short enough to let you call it a "corollary" with a straight face. This would be so even if "Life is common" and "Life is rare" were perfect logical complements, rather than being endpoints on a wide spectrum.