Implements the main program loop to test isKnown() and areSynonyms()