首先，我们可以将问题表示为逻辑语句：

A：能阅读的人是识字的。
B：海豚不识字。
C：有些海豚是很聪明的。
D：有些很聪明的人并不识字。

我们需要使用归结策略来证明D是真的。归结策略是一种证明方法，通过将逻辑语句进行归结操作，最终得到一个空子句来证明目标。

首先，我们将已知条件转化为逻辑语句：

(1) ¬A → ¬B
(2) B
(3) C

接下来，我们将这些语句进行归结操作：

(4) ¬A （根据(1)和(2)进行归结）
(5) ¬B （根据(4)和(3)进行归结）

现在我们得到了一个空子句(5)，这意味着我们成功地证明了D是真的。因此，根据归结策略，有些很聪明的人并不识字。