From there they used a battery of mapping, microarray and bioinformatics analyses and identified mutations for both patients in the NDUFS6 gene; a gene not previously shown to be involved in this ...

Venn used the diagrams to prove a form of logical statement known as a categorical syllogism. This can be used to model reasoning. Here’s an example: “All computers need power.