create implication liberta_(onsen_manager)_(gedonist)_(brown_dust) -> liberta_(onsen_manager)_(brown_dust)