形式逻辑学

“我是想要让我成为同伴之人的同伴。仅此而已！” 失去了过去的记忆，平稳地生活着的高中生·黑井宗矢。 某天，他的城市突然遭到神秘的巨大兵器“星云兵器”的袭击。 宗矢与长得像猫的“老师”和哥特萝莉银子一起被卷入战斗当中， 但——没想到对手竟然是保护城市的7位英雄！ 隐藏在宗矢记忆中的战斗理由究竟是？。从公司辞职的希（唐田英里佳饰）在便利店打工，每天过着枯燥而麻木的日子，她不敢把自己的现状告诉父母，在打工的地方也总是做不好，觉得很没面子。某日，中学时代的同班同学加奈子（芋生悠饰）来到店里，希的日常生活一点一点开始变化。。供职于纽约曼哈顿一家广告代理机构的职业摄影师乔治（Jake Weber 杰克•韦伯饰）每日里过着紧张忙碌的生活，为了缓解工作所带来的巨大压力，他带着妻子金（Patricia Clarkson 饰）和儿子米尔斯（Erik Per Sullivan 饰）驱车前往山中的小屋度假。 不过他们的旅途并不顺利，途中乔治的汽车撞死一只跑到路中央的鹿，并因此和自称猎人的奥提斯（John Speredakos 饰）发生争吵。抵达目的地后，一家人始终为一种莫名的恐惧和压迫感所困扰。继而又从便利店老板口中得知了半人半鹿怪物Wendigo的传说。令他们怎么也想不到的是，这个传说正逐渐变成现实……。