((a and b) implies c) implies a implies b implies c