聪明的猪

起一个古怪的开头：

“鸡蛋证实茶叶蛋，就是鸡蛋结论性地验证了茶叶蛋，它的充分必要条件是鸡蛋蕴含茶叶蛋。”这句话确实非常奇怪，将其作更改：“鸡蛋证实了茶叶蛋的蛋是鸡蛋，就是鸡蛋结论性地验证了茶叶蛋的蛋是鸡蛋。”

它的充分必要条件是“鸡蛋“蕴含”茶叶蛋的蛋是鸡蛋“，显然这句话也不是很通顺。词汇能包含句子吗？

“他证实了猪是聪明的。”这句句子读起来非常通顺，但是显然没法得出它的充分必要条件。他和“猪是聪明的”显然不具有包含关系。

亨普提出验证的“满足标准”：（1）观察报告B直接验证假说H，当B蕴含了H关于B提及对象集的发展式；（2）观察报告B验证假说H，当B直接验证的句子集合蕴含H……

则“人类观察报告之鸡蛋直接验证假说茶叶蛋的蛋是鸡蛋，就是人类观察报告之鸡蛋结论性地验证了茶叶蛋的蛋是鸡蛋。”茶叶蛋是鸡蛋的“发展式”，符合“满足标准”的（1）。

“人类观察报告之他证实了猪是聪明的，就是人类观察报告之他结论性地验证了猪是聪明的。”第一种可能，他是猪，他蕴含了聪明的猪；第二种可能人类观察报告之他中直接验证的句子集合蕴含了“猪是聪明的。”

在女人和男人不同的研究思路中，要实现这一点，恐怕不是简单地把猪捉起来观察了事，还得是和猪生活在一起，深刻了解它们的习性才能证明啊!由此，可大概推测，女人可能认为猪是聪明的，他不是他，是她！