Bradley in his book titled " A critical introduction to Formal Epistemology" mentions the grasshopper example (page 122) where:
Hypothesis: Unobserved grasshoppers live south of Canada
Instance: An observed grasshopper 3 inches south of Canadian border.
Additional information: You previously believe grasshoppers could only live in relatively mild climates. However if there are grasshoppers living 3 inches from the Canadian border, there are almost certainly grasshoppers in Canada. So your hypothesis is disjustified
I am puzzled by this example. I would really appreciate it if someone could tell me how this is supposed to work. (Formalized solution of the example is also highly appreciated)