
Here we go! Made some built ins to simplify the work.
A <- makeparent("A")
B <- makeparent("B")
C <- makeparent("C")
D <- makeparent("D")
PA <- makeobs("PA","A")
PB <- makeobs("PB","B")
PC <- makeobs("PC","C")
E <- makekid("E","A","B")
F2 <- makekid("F","A","B")
G <- makekid("G","C","D")
H <- makekid("H","C","D")
I <- makekid("I","C","D")
PF <- makeobs("PF","F")
PG <- makeobs("PG","G")
PH <- makeobs("PH","H")
PI <- makeobs("PI","I")
J <- makekid("J","F","G")
K <- makekid("K","F","G")
PJ <- makeobs("PJ","J")
PK <- makeobs("PK","K")
Known facts: