{"push_id":1094025210,"size":1,"distinct_size":1,"ref":"refs/heads/truthtreegui-dev","head":"ffa8575075dba3103c6113aa5d9f1e93b36deb80","before":"f14d3ee1b2f8444b847623ae88f05551b2a9af00","commits":[{"sha":"ffa8575075dba3103c6113aa5d9f1e93b36deb80","author":{"email":"0a8c5167220991f15ec3b425c1b314aa4c1da54d@rpi.edu","name":"kevingoneill"},"message":"Added justification numbers to inferences","distinct":true,"url":"https://api.github.com/repos/kevingoneill/SemanticProver/commits/ffa8575075dba3103c6113aa5d9f1e93b36deb80"}]}