http://dbpedia.org/resource/Deductive_reasoning Deductive reasoning