Rangers won the cup in 2013.
Aberdeen won the cup in the 2013 final. Rangers won the cup in 2014 final. Aberdeen and Rangers are different teams. Different teams cannot win the same cup in a given year's final.
WonCup(aberdeen, twentythirteen) WonCup(rangers, twentyfourteen) Different(aberdeen, rangers) ∧ Different(rangers, aberdeen) ∀x ∀y ∀z (Different(x, y)  ∧ WonCup(x, z)  → ¬WonCup(y, z))