premise: Python supports programming.
hypothesis: The Python programming language was conceived in the late 1980s , and its implementation was started in December 1989 by Guido van Rossum at CWI in the Netherlands as a successor to the ABC programming language capable of exception handling and interfacing with the Amoeba operating system . Python is a widely used high-level programming language for general-purpose programming , created by Guido van Rossum and first released in 1991 . An interpreted language , Python has a design philosophy which emphasizes code readability ( notably using whitespace indentation to delimit code blocks rather than curly brackets or keywords ) , and a syntax which allows programmers to express concepts in fewer lines of code than possible in languages such as C++ or Java . The language provides constructs intended to enable writing clear programs on both a small and large scale . Python features a dynamic type system and automatic memory management and supports multiple programming paradigms , including object-oriented , imperative , functional programming , and procedural styles .