What is the average FA Cup that has gary jones as the player, and an FA trophy greater than 5?
CREATE TABLE table_42216 (
    "Player" text,
    "Club" text,
    "League" real,
    "FA Cup" real,
    "FA Trophy" real,
    "League Cup" real,
    "Total" real
)
SELECT AVG("FA Cup") FROM table_42216 WHERE "Player" = 'gary jones' AND "FA Trophy" > '5'
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What is the average FA Cup that has gary jones as the player, and an FA trophy greater than 5? ### Input: CREATE TABLE table_42216 (
    "Player" text,
    "Club" text,
    "League" real,
    "FA Cup" real,
    "FA Trophy" real,
    "League Cup" real,
    "Total" real
) ### Response: SELECT AVG("FA Cup") FROM table_42216 WHERE "Player" = 'gary jones' AND "FA Trophy" > '5'