首先，我们可以将问题表示为逻辑语句：
A：能阅读的人是识字的。
B：海豚不识字。
C：有些海豚是很聪明的。
D：有些很聪明的人并不识字。
我们需要使用归结策略来证明D是真的。归结策略是一种证明方法，通过将逻辑语句进行归结操作，最终得到一个空子句来证明目标。
首先，我们将已知条件转化为逻辑语句：
(1) ¬A → ¬B
(2) B
(3) C
接下来，我们将这些语句进行归结操作：
(4) ¬A （根据(1)和(2)进行归结）
(5) ¬B （根据(4)和(3)进行归结）
现在我们得到了一个空子句(5)，这意味着我们成功地证明了D是真的。因此，根据归结策略，有些很聪明的人并不识字。
