Loosely matching rhymes for logical inference program