Creation of exaamples of theorems to test some prolog rules