不知道出于什么原因,你要进行一些推理。
推理过程中你依次得到了 个结论。
这些结论分为类型 1 和类型 2。
类型 1:这就是个结论,没啥好说的。
类型 2:这个结论形如,第 个结论是正确 / 错误的,保证第 个结论是已经得到的。
具体来说,将这 个结论依次编号为 ,将给出 个结论的信息,具体格式如下:
- :表示这是个类型 1 的结论。
- :表示这是个类型 2 的结论,如果 表示第 个结论是正确的, 表示第 个结论是错误的,假设这是第 个结论,保证 。
显然类型 2 的结论的正确性依赖于类型 1 的结论的正确性。
但你并不能确定每个结论的正确性,你希望求出,在所有类型 1 结论的所有可能正确性中,你总共最多有多少个正确结论。