Comment by Tainnor

This is impossible to solve in the general case due to Gödel's first incompleteness theorem.