First Order Logic Practice Problems