Unfortunately there is no checklist to determine a failed ADIRU.
So no QRH for that.
IAS disagree merely tells you to identify the failed side, IF there is one.
IF one side is found serviceable, it can be used.
Plenty of incidents with unreliable airspeed around, but only few are identical.
K.I.S.S.