@prefix ex: <http://example.com/> .
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>

@forAll :person1, :person2.

{
  :person1 ex:likes ?song.
  :person2 ex:likes ?song.
  :person1 log:notEqualTo :person2
} => {
  :playlist ex:musicEverybodyLikes ?song.
}.

{
  :person1 ex:likes ?song.
} => {
  :playlist ex:allMusic ?song.
}.