#3 Improve reasoning representation

[mattsouth]

The trees shown in the current proof representation dont have any arrows and the colouring doesnt seem very clear. It would be nice if the arguments could be numbered to show the evolution of the argument tree.