We've brought in an outside contractor for this: Codename Zebra.

https://www.brainzilla.com/logic/zebra/