Removing dataframe from another dataframe which is a filtered subset of the first dataframe

Question

I am fighting with the following issue:

Let\'s say I have the following input dataframe:

df
something library