Аксиоматическая теория по дискретке

Решить 5 выводимостей, используя модус поненс и 3 аксиомы:

F->(G->F)

(F->(G->H))->((F->G)->(F->H))

(не G -> не F)->((не G -> F)->G)