I would be very thankful if someone could help me find a reason to why the following resolution of the quantifiers is not working. It is an expression regarding 5 variables with existential quantifiers subject to given constraints. When I launch it, Mathematica just keeps running and returns no answer in form of true or false.
If I reduce the variables to 4, the same expression return true i.e executes instantly.
Secondly If I put the first expression in a nested for loop, It does not return the answer again.
Any help would be highly appreciated.
Attachment: Resolve tests.nb, URL: www.ahmedjawad.com,