Svag matchende rim for logical inference program