Let ω1,ω2 be the inscribed circles of quadrilaterals ABED, AECD respectively, and let O1,O2 be the centers of ω1,ω2 respectively. A sufficient condition for the existence of a point F as stated in the problem is that ω1,ω2 are also the inscribed circles of quadrilaterals ABCF, BCDF respectively.
From B draw the tangent line to ω2 other than BC, and from C draw the tangent line to ω1 other than BC; let these two tangent lines meet side AD at points F1,F2 respectively. We need to prove that F1=F2 if and only if AB∥CD.
Lemma: Let ω1,ω2 be two circles with centers O1,O2 respectively, both inscribed in the same angle, and let the vertex of this angle be O. Let points P,S lie on one side of angle O, and points Q,R lie on the other side of angle O, and suppose ω1 is the inscribed circle of triangle PQO, and ω2 is the excircle of triangle RSO opposite to angle O. Let p=OO1⋅OO2. Then exactly one of the following relations holds:
OP⋅OR<p<OQ⋅OS,OP⋅OR>p>OQ⋅OS,OP⋅OR=p=OQ⋅OS.
Proof of the lemma: Let ∠OPO1=α,∠OQO1=β,∠OO2R=γ,∠OO2S=δ, ∠POQ=2φ. Since segments PO1,QO1,RO2,SO2 are respectively the internal or external angle bisectors of triangles PQO,RSO, we have
u+v=x+y(=90∘−φ).(1)
By the law of sines,
OO1OP=sinusin(u+φ)andOROO2=sinxsin(x+φ).
Since x,u,φ are all acute angles,
OP⋅OR≥p⇔OO1OP≥OROO2⇔sin(x−u)≥0⇔sinxsin(u+φ)≥sinusin(x+φ)⇔x≥u.
Thus OP⋅OR≥p is equivalent to x≥u, and OP⋅OR=p if and only if x=u.
Similarly, we can prove that p≥OQ⋅OS is equivalent to v≥y, and p=OQ⋅OS if and only if v=y. On the other hand, from (1) we know that x≥u and v≥y are equivalent, and x=u is equivalent to v=y. This proves the lemma.

Returning to the problem itself, we apply the lemma to the following groups of four points: {B,E,D,F1}, {A,B,C,D}, {A,E,C,F2}. First suppose OE⋅OF1>p; then we obtain
OE⋅OF1>p⇒OB⋅OD<p⇒OA⋅OC>p⇒OE⋅OF2<p.
In other words, OE⋅OF1>p implies
OB⋅OD<p<OA⋅OCandOE⋅OF1>p>OE⋅OF2.
Similarly, if we suppose OE⋅OF1<p, then we obtain
OB⋅OD>p>OA⋅OCandOE⋅OF1<p<OE⋅OF2.
In these cases, F1=F2, and moreover OB⋅OD=OA⋅OC, so AB and CD are not parallel.
Finally, there remains the case OE⋅OF1=p. In this case, the lemma implies that OB⋅OD=p=OA⋅OC and OE⋅OF1=p=OE⋅OF2. Therefore F1=F2 and AB∥CD.