Laws in Logical Worlds: Using Statistical Inference to Uncover the Structure of Logical Domains