P = (12.396509465032949, 6.106859677205974)
B = (6.666827445230365, 1.2475091034493273)
C = (19.214105792392985, 2.770589134029769)
t1, c, a, b = Polygon(P, B, C)
d = Slope(a)
e: y(B) - (d * x(B))
f(x) = (d * x) + e
g(x, y) = y > (d * x) + e
h = Line(B, P)
i = Line(P, C)
j = Slope(h)
k = Slope(i)
l: y(B) - (j * x(B))
m: y(C) - (k * x(C))
n(x, y) = y > (j * x) + l
o(x, y) = y > (k * x) + m
p(x, y) = g(x, y) ∧ (n(x, y) ∨ o(x, y))
A = PointIn(p)
q = Segment(B, A)
r = Segment(A, C)
D = PointIn(g)