?- steals(badguy,X). X = rubies Yes