Calculate probabilities from Venn diagram (#756)