《阿莱的游戏[虫族]》咦呜呜咦

26、正文完结

　　【已知：】

　　虫族雄少雌多、雄尊雌卑、雄弱雌强。虫族具有鲜明的基因等级划分且极其重视繁衍。雄虫可以和属于不同种族的多只雌虫结合。

　　【试论证：】

　　“虫族是星际霸主，且会开机甲高达”是“虫族可以搞纯爱”的必要不充分条件。

　　【解：】

　　若虫族不是星际霸主，则可能会面临来自其他势均力敌或更高级的宇宙文明的毁灭打击。为了生存，虫族必须实现文明跃升。
　　若虫族不发展机甲，则证明虫族同时也放弃了包括机械、电子、计算机、人工智能等一系列领域的尖端科技。在虫族的认知中，这些科技对于它们的文明升级没有意义。

　　结合上述两点及其他已知条件，将可能推出“虫族正在进行基因飞升”的结论。而一旦虫族选择走向基因进化的修罗之道，就不可能再保有传统意义上的“纯爱”。

　　也即，如果虫族想搞纯爱，必须保证它们现在没有、未来也不需要进行极端的基因飞升。
　　也即，虫族必须保证自身的宇宙霸主地位，且重视机甲研发。

　　于此同时，已经有其他大量虫族文可以验证，即使虫族是星际霸主，且会开机甲高达，也会出现“爱”的能力退化的神奇现象，原因不明。

　　综上。由“虫族是星际霸主，且会开机甲高达”不可以推出“虫族可以搞纯爱”。由“虫族可以搞纯爱”可以推出“虫族是星际霸主，且会开机甲高达”。

　　故，根据定义，“虫族是星际霸主，且会开机甲高达”是“虫族可以搞纯爱”的必要不充分条件。

　　【证毕】