A1 and A2 are premises and are supposed to be true.

• 我们现在是看A1,跟A2之间所有可能性中，那一个有逻辑矛盾。