\(X \geq 30\) なら Yes, そうでなければ No である.