공리 1. 맨체스터 유나이티드, 첼시, 아스널, 바사는 종자팀이고, 종자팀은 서로 다투지 않는다.
수요 1. 결승전이 모스크바에 있고 첼시 클럽이 G 14 해체에서 중요한 역할을 했기 때문에 원칙적으로 석란이 결승에 진출했다.
수요 2. 두 결승전 팀이 같은 나라에서 오는 현상을 피하고 잉글랜드 프리미어리그 팀의 유럽전 오만함을 억누르기 위해 원칙적으로 바르셀로나가 결승에 진출할 것이다 (만약 바르셀로나가 안 된다면 로마는 할 수 있다).
수요 3. 올 시즌 유럽축구연맹 챔피언스리그 리그는 의갑 팀의 성적을 보장할 필요가 없다. 이는 유빈투스가 다음 시즌 유럽축구연맹 챔피언스리그 참가에 대한 압력을 크게 완화시켜 의갑이 있고 단 하나의 핵심인 유빈투스라는 것을 증명할 것이다.
수요 4. 리버풀이 더 나은 순위를 얻지 않도록 노력하십시오.
수요 5. 보장 12346 을 바탕으로 가능한 한 게임의 관람성을 보장하고 판매점이 있다.
조건 1. 상위 4 개 실현 가능성을 보장하기 위해 프리미어리그가 아닌 서갑 의갑 팀의 이익을 완전히 희생할 수 있다.
추론 1: demand 1 과 demand 2 에 따르면 첼시와 바사는 서로 다른 반으로 나뉘어야 하며, 그들의 상대는 두 개의 실력이 약한 팀이어야 한다. 로마, 리버풀, 종자팀의 실력이 상당하기 때문에 페네바흐와 04 를 선택했는데, 그 중 페네바흐는 비교적 강경했고, 바사는 메시가 출전하지 않을 경우 폭랭할 수 있었기 때문에 첼시라는 기계화 단위를 선택하여 항복할 수 있었다.
추론 2: 추론 1 과 공리 1 에 따르면 바르셀로나와 첼시는 리버풀의 상대가 아니기 때문에 리버풀의 상대는 아스날이나 맨체스터 유나이티드일 수밖에 없고 수요 4 는 자동으로 충족된다.
추론 3: 추론 2 에 따르면 프리미어리그 내전은 단 한 경기, 프리미어리그 팀의 구도는 13 또는 22 다. 분명히 13 의 구도는 수요 2 의 출현에 도움이 될 것이기 때문에 프리미어리그 내전은 첼시의 하프타임으로 예정되어 있고, 나머지 반에는 프리미어리그 팀이 하나밖에 없다.
추론 4: 현황
바르셀로나 04 x 로마
리버풀-첼시-피네바흐
X, y 는 맨체스터 유나이티드와 아스널을 대표한다.
추론 5: 추론 4 에 따르면 수요 1, 분명히 X 는 맨체스터 유나이티드이고 Y 는 아스널이다. 우선, Y 는 리버풀을 탈락시킬 수 있어야 하지만 첼시를 너무 위협해서는 안 된다. 맨체스터 유나이티드는 이전 조건을 만족시키고, 후자의 조건은 만족하지 않는다. 둘째, 맨체스터 유나이티드는 수요 2 와 수요 5 를 만족시키기 위해 로마에 더할 나위 없이 적합하기 때문에 바르셀로나는 두 팀 중 어느 한 팀도 스타일적으로 두려워하지 말아야 한다.
추론 6: 위의 추론이 모두 이루어진다면 유럽축구연맹 챔피언스리그 4 강이 될 가능성이 높다.
바르셀로나 맨체스터 유나이티드/로마
아스날 첼시
결승전은 바르셀로나와 첼시 사이에서 진행된다.