PLN inference history and output for Tuffy 'smokes' example