Add PLN representation of "smokes" example from Tuffy MLN

Contains an initial version of the "smokes" example from Tuffy MLN described here:
http://hazy.cs.wisc.edu/hazy/tuffy/doc/tuffy-manual.pdf
https://github.com/cosmoharrigan/tuffy/tree/master/samples/smoke