元の条件式が真なら対偶も真