Schiebe zuerst alle Terme der rechten Spalte zu den gleichwertigen Termen der linken Spalte und klicke erst dann auf [Prüfen].