This guide is helpful. http://webdiplomacy.net/datc.php
Closest case you are looking for-
6.F.14 - Passed
TEST CASE, SIMPLE CONVOY PARADOX
There are two rules, both accepted, that we use to adjudicate Diplomacy paradoxes. One is the "All Hold" rule, and the other is the Simon Szykman rule. We use the Szykman, as it is favored by the actual creator of Diplomacy.
(copypasta from site)
Simon Szykman alternative (reworded):
"If a situation arises in which an army's convoy order results in a paradoxical adjudication, the moves of all involved convoying armies fail and have no effect on the place where they were ordered to convoy.". This rule was proposed by Simon Szykman in a discussion with Manus Hand in the Diplomatic Pouch Zine (1999, Fall Retreat). Manus Hand defended the 1982 rule. In almost all situations this results in the same adjudication as the 2000 rule. Only in case that the convoying fleet dislodges a unit (see test case 6.F.17) the result is different. However, as said before you must assume that the 2000 paradox rule takes precedence over the dislodge rule in this specific case. If this assumption is not made, then the 2000 rulebook does not have a resolution for this case and then it can be defended that the Szykman rule is compatible with the 2000 rulebook. The advantage of the Szykman rule is that it also has a resolution for second order paradoxes (see test cases 6.F.22, 6.F.23 and 6.F.24). Another advantage is that it works for paradoxes that can occur with convoyable coastal areas that appear in some variants (see test cases 9.E, 9.F and 9.G). A disadvantage is that for determine the involved convoying armies, the paradox core should be calculated. However this is possible as is shown in chapter 5.
TL;DR, Tyrr gets dislodged.