A treatise on deductive and natural argumentation and its models