高智能方程式赛车 OVA1 DOUBLE ONE

　　花园百合铃（大森日雅 配音）是一个标准的中二少女，虽然已经升入了大学，还整日里一副哥特萝莉的打扮，虽然右眼带着眼罩，但实际上视力毫无问题。表面看来，百合铃有些古怪和难以接近，可实际上，她对待朋友非常的热情友善。一次偶然中，百合铃竟然从魔界里召唤出了恶魔邪神酱（铃木爱奈 配音），她可是那里里地位最崇高的恶魔。                                    
                               　　邪神酱一心想要回到魔界，而回去的唯一方法就是杀死她的召唤者百合铃，可是实际上，邪神酱是一个笨手笨脚的废柴，每当她设计想要袭击百合铃时，总是会被后者在有意无意之中一招化解。除了邪神酱外，美杜莎（久保田未梦 配音）、佩柯拉（小坂井祐莉绘 配音）等恶魔也降临人间。

　　蕾是个非常喜欢花草植物的中学二年级生，绘里香是个喜欢服装设计的中学二年级生，某日她们梦见了在一个充满美丽花草的地方，还有妖精四处飞舞····· 　　而就在几天后转学到明堂学园的蕾，真的遇上了在梦里见到的妖精，妖精也向蕾表示，希望她能够为守护“心之大树”、并让大家的“心之花”绽放而战······一次偶然的机会，绘里香也加入了进来，和蕾成为了光之美少女……

机巧魔术，那是人形使们用来操纵内藏着魔术回路的自动人形而用的魔术，拥有这种技术的最高学府是英国的沃普尔吉斯王立机巧学院，目前正举行着决定人形使之顶点“魔王”，通称为“夜会”的战斗。

如今有两个人影正走过它的大门，来自日本的留学生赤羽雷真与他的伙伴的少女型人形的夜夜，为了得到“夜会”的参加资格，雷真决定直接用决斗的方式从参加预定者那里夺取资格。

目标是次期魔王有力候补，外号是暴龙的美少女夏洛特，但是没想到在决斗途中竟然发生意想不到的插曲……

以史实为基础的关于贞德的另一个故事就此开始了…… 身为贵族之子却整天埋头于研究魔术和炼金术的少年蒙特默伦西，在巴黎的王立骑士养成学校，身边聚集着布列塔尼公爵的妹妹里什蒙等众多的骑士、姬骑士候补，过着慌乱而又充实的每一天。然而，随着阿赞库尔之战的大败，法兰西王国与他们的命运都彻底地改变了。 巴黎陷落，骑士养成学校也被关闭，失去了一切、成为在逃流亡炼金术师的蒙特默伦西，在逃亡途中经过的村子里与不可思议的少女·贞德相遇了……。

樱花开始飞舞的春之日。 天真烂漫的小国公主·莉昂开始到北海道的学校上学。 那里是由ALCA所运营的，用于培育守护世界和平的定理者Logicalist的特别教育机关。 莉昂所进入的1年S班，有着以定理者妮娜为首的个性十足的同班同学们。 定理者雏鸟们所度过的，非常热闹而又可爱的每一天——