Match with trying parameter; facts match with variables with cycles