syllogism: deductive reasoning in which a conclusion is derived from two premises
abstraction: a general concept formed by extracting common features from specific examples
schoolgirl: a girl attending school