Rules and arguments
In our discussion of arguments, the difference between
John has stolen a bicycle.
Therefore
John has committed theft.
and
John has stolen a bicycle; if John has stolen a bicycle, he has committed theft.
Therefore
John has committed theft.