Boolean 式が true であることを検証するチェックを追加します。