G (F a)
F (- d)
G (a -> (F e)) 
G ((F e) -> d)