ブール式からアサーションを作成します。