Let with the relations
True or False: for every there exists such that
the problem is made up by me and i have some reasons (no proof) to believe that it is true!
note that if at least one of three variables does not appear in then the statement is trivially true.
this could be a good undergraduate project - or maybe it's too hard?