严格来说第一句要翻译成形式语言应该是“如若有任何东西是外星人，则该东西为布马所喜欢”你会认为那个推论无效，问题可能出在语句翻译上我们在检察推论的有效性时通常不太会管前提是否实际上为真，而你举的例子在翻译成形式语言后就是一个条件句...问题并不是在推论的过程，而是你设定的前提可能在实然上不为真，你才会觉得哪里怪怪的举例而言，如果你把前提改成“布马喜欢所有她知道是外星人的外星人”，然后把达尔是外星人改成“达尔是外星人，而且布马知道他是外星人”那么如果你当然可以给出“布马喜欢达尔”这个结论(但注意，这个推论和前面那一个“布马喜欢所有外星人”的推论，都是有效的)所以你该质疑的并不是为什么从布马喜欢所有外星人可以推到布马喜欢达尔，而是布马喜欢所有外星人这个假设是不是有问题，或者我们的日常语言使得我们在表达这句话时遗漏了什么(像是如果连你也觉得一个人不可能在不知道某个类的所有成员的情况下宣称自己喜欢那个类里头的所有东西，那么你也该很清楚的意识到这个前提怪怪的。但这些都不会影响我们做出一个有效推论，即使它的前提怪怪的)