On an algorithm for finding all interesting sentences