Rule wdhcrvfmrbdqkdgv

[id: wdhcrvfmrbdqkdgv] input(Do you want to trade $horses?)
  && singular($horses, $horse)
  => output(No thanks, I want to keep my trusty $horse)