In my last posting with the Jack and Jill inference, please either add the extra premiss "No one but Jack and Jill went up the hill" or turn the identity in the conclusion into "great than or equal to". Sorry about this oversight! Neil Tennant