翻手为云 覆手为雨

要验证下雨（A）必定有云（B）这个含意（验证A—B），是要以没有云就没有雨（非B→非A）的事实作反证。以没有雨就没有云来验证，是一个很常见的谬误。