其中P被称为规则的前项（antecedent） ， Q被称为规则的后项（consequent） 。
一个理论theoryC由事实F={f1,f2,..,fn}和规则R={r1,r2,..,rm}组成 ， G代表一个想根据事实和规则来证明或反驳的目标 。
例1、一个带有虚构角色和规则的理论实例C
【谷歌发布全新反向推理算法LAMBADA|谷歌最新自然语言推理算法】F={"菲奥娜是好人" ， "菲奥娜是粗人

• 1月9日消息|oppoa56s发布：a57改名，售价1099元起
• 雷蛇在 CES2023 上发布了两款VR头显外设|雷蛇发布两款vr头显外设
• 夏普近日在 CES2023 展台上亮相|夏普发布新型头戴式显示器：仅重175克
• 酷冷至尊在 CES2023 上发布了多款外设产品|酷冷至尊发布多款外设产品涵盖键盘、鼠标、电竞椅
• 1月9日消息|道通智能发布自主飞行无人机
• 去年12月|b站装机猿与铭瑄联名主板h610king发布
• 16年前的今天，乔布斯发布了初代苹果iphone
• TCL旗下雷鸟创新在 CES2023 上推出了新一代双目全彩MicroLED光波导AR眼...|tcl雷鸟ar眼镜rayneox2发布：搭载骁龙xr2
• 三星Galaxy|小米高端旗舰与徕卡相机在MWC 2023发布 部分细节透露
• 1月9日消息|华硕发布新款proart台式机：搭载13代酷睿rtx40显卡