命题逻辑公式

从西元2222年开始，一切都变了，生物迅速进化，城市被巨大的植物侵占，沦为了废墟，一群自称为“神”的强大生命体宣布统治了这个世界。　　生存在夹缝之中的人类获得了来自灵魂深处的力量，在世界各地重新建立起自己的城市。在这些分散的城市外面，是不计其数的黑暗兽，数以万计的黑暗兽汇聚成了兽潮，不断攻击着人类的城市。　　人类的猎神者们开始组成猎神分队向荒野进发。　　一个是来历不明的孤儿，一个是猎神界强势崛起的时代新星，一个是不知活了多少年的可爱小女孩，当他们聚集在第七猎神分队，代表人类命运的齿轮开始重新转动，世界的真...