Our development of the logical models for the Higgs boson competition on kaggle. August - September 2014.