LogiCoach!

Try to prove that

implies

Gimme another problem!