It now sets up a database with the given schemes and facts, Tuples not working correctly