syllogism: deductive reasoning in which a conclusion is derived from two premises
deduction: reasoning from the general to the particular (or from cause to effect)
fruit fly: any of numerous small insects whose larvae feed on fruits