Loosely matching rhymes for proof-finding program