Elementary arguments
a. statements
John has stolen a bicycle.
b. single-step arguments
John has stolen a bicycle.
Therefore
John has committed theft.
John has stolen a bicycle; if John has stolen a bicycle, he has committed theft.
Therefore
John has committed theft.